<%--
  Created by IntelliJ IDEA.
  User: atusa
  Date: 2/1/19
  Time: 8:03 PM
  To change this template use File | Settings | File Templates.
--%>


<%@ page contentType="text/html;charset=UTF-8" pageEncoding="UTF-8" %>
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  <title>Pandamonium™ Theorem Prover</title>
</head>
<body>
<div>
  <div>
    <h1>Theorem Prover</h1>
    <h2>Hello! Welcome to Pandamonium™ Theorem Prover!!</h2>

    Click on this <strong><a href="/theorem/">link</a></strong> to visit theorem entering page.
  </div>
</div>
</body>
</html>