27 lines
673 B
Plaintext
27 lines
673 B
Plaintext
<%--
|
|
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>Theorem Prover</title>
|
|
</head>
|
|
<body>
|
|
<div>
|
|
<div>
|
|
<h1>Theorem Prover</h1>
|
|
<h2>Hello! Welcome to Theorem Prover !!</h2>
|
|
|
|
Click on this <strong><a href="/theorem/">link</a></strong> to visit theorem entering page.
|
|
</div>
|
|
</div>
|
|
</body>
|
|
</html> |