<%@ 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 Entry</title>
    </head>
    <body>
        <form method="post" action="">
            <label>Theorem Name:
                <input type="text" name="theoremName"/>
            </label>
            <br><label>Theorem:
            <input type="text" name="theorem"/>
        </label><br>
            <input type="submit" value="Save">
        </form>
    </body>
</html>