<textarea cols="80" rows="20" name=input>
let true = (\x (\y x)) in
let false = (\x (\y y)) in
<textarea cols="80" rows="20" name=input>
let true = (\x (\y x)) in
let false = (\x (\y y)) in
-<input type=button value="Reduce" onClick="mytry(this.form)"> <input
-type=Label name=result size=50> </form> </center> You should see the
+<input type=button value="Reduce" onClick="mytry(this.form)">
+<br>
+<textarea cols="80" rows="10" name=result></textarea>
+</form> </center>