- ported to Helm_registry

[helm.git] / helm / searchEngine / html / expr.html
diff --git a/helm/searchEngine/html/expr.html b/helm/searchEngine/html/expr.html

index 3e302b8b24fc366fed1119c6803856acbdd6c35d..dea29bc52a8a9a93eab408b37a6e30f9fc9426ff 100644 (file)
--- a/helm/searchEngine/html/expr.html
+++ b/helm/searchEngine/html/expr.html
@@ -5,12 +5,13 @@ function choice()
         {
  with (document.form1) {        
         stadd="";top.qw.document.close();quanti=0;
-       if (selopt[0].checked) {stadd="\[Genid]"+document.form1.ex1.value+"[Expr].[Expr]"}
-       if (selopt[1].checked) {stadd="![Genid]:[Expr].[Expr]"}
-       if (selopt[2].checked) {stadd="[Expr]-&gt;[Expr]"}
-       if (selopt[3].checked) {stadd="([Expr])-&gt;[Expr]"}
-       if (selopt[4].checked) {stadd=document.form1.ex2.value}
-       if (selopt[5].checked) {
+       if (selopt[0].checked) {stadd="\\lambda [Genid] : [Expr].[Expr]"}
+       if (selopt[1].checked) {stadd="let [Genid] = [Expr] in [Expr]"}
+       if (selopt[2].checked) {stadd="\\forall [Genid]:[Expr].[Expr]"}
+       if (selopt[3].checked) {stadd="[Expr] \\to [Expr]"}
+  if (selopt[4].checked) {stadd="?"}
+       if (selopt[5].checked) {stadd=document.form1.ex2.value}
+       if (selopt[6].checked) {
                                 while (quanti<1)
                                         {
                                         quanti=prompt("How many expressions in the list?","1");//alert(quanti);
@@ -21,7 +22,7 @@ with (document.form1) {
                                 {stadd=stadd+"[Expr] "}
                                 stadd=stadd+")";
                                }
-       if (selopt[6].checked) {
+       if (selopt[7].checked) {
                                 stadd=document.form1.id_or_uri.value;
                                 //alert(stadd.substring(0,5));
                                 if (stadd.substring(0,5)=="cic:/") 
@@ -39,13 +40,11 @@ with (document.form1) {
  <BODY>
  You are entering an expression. Select one of the following.
  <form name="form1" action="Javascript:choice();" method="get">
-<input type="radio" name="selopt">\[Genid]<select name="ex1" onFocus="selopt[0].checked=true;">
-<option value=":">:
-<option value=":=">:=
-</select>[Expr].[Expr] <br>
-<input type="radio" name="selopt">![Genid]:[Expr].[Expr] <br>
-<input type="radio" name="selopt">[Expr]-&gt;[Expr]<br>
-<input type="radio" name="selopt">([Expr])-&gt;[Expr]<br>
+<input type="radio" name="selopt">\lambda [Genid]:[Expr].[Expr] <br>
+<input type="radio" name="selopt">let [Genid] = [Expr] in [Expr] <br>
+<input type="radio" name="selopt">\forall [Genid]:[Expr].[Expr] <br>
+<input type="radio" name="selopt">[Expr] \to [Expr]<br>
+<input type="radio" name="selopt">?<br>
  <input type="radio" name="selopt"> <select name="ex2" onFocus="selopt[4].checked=true;">
  <option value="Prop"> Prop 
  <option value="Set"> Set
@@ -57,4 +56,4 @@ You are entering an expression. Select one of the following.
  <input type=submit value="Select">
  </form>
  </BODY>
-</HTML>
-\ No newline at end of file
+</HTML>