X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fexpr.html;fp=helm%2FsearchEngine%2Fhtml%2Fexpr.html;h=3e302b8b24fc366fed1119c6803856acbdd6c35d;hb=dedb202eeeac7293c51dbf31a302d0d3dd24af95;hp=0000000000000000000000000000000000000000;hpb=37adb260bc671a4615e2b3fa9fb1ae44999747d0;p=helm.git diff --git a/helm/searchEngine/html/expr.html b/helm/searchEngine/html/expr.html new file mode 100644 index 000000000..3e302b8b2 --- /dev/null +++ b/helm/searchEngine/html/expr.html @@ -0,0 +1,60 @@ + + + + + +You are entering an expression. Select one of the following. +
+\[Genid][Expr].[Expr]
+![Genid]:[Expr].[Expr]
+[Expr]->[Expr]
+([Expr])->[Expr]
+
+ ( [Expr list] )
+
+ +
+ + \ No newline at end of file