X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fset.html;fp=helm%2FsearchEngine%2Fhtml%2Fset.html;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=a070889571ebcab05592e977b36b44e02b22f06b;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git diff --git a/helm/searchEngine/html/set.html b/helm/searchEngine/html/set.html deleted file mode 100644 index a07088957..000000000 --- a/helm/searchEngine/html/set.html +++ /dev/null @@ -1,178 +0,0 @@ - - - - - -

- -

-

Select one of the following:

-
- ref [val]
- pattern [val]
- -
- -
- ( [set] )
- relation - - - -[val] -
- select @ -in [set] where [boole]
[set] - -[set]
- let % be [set] in [set]
- let $ be [val] in [set]
-
- -