X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fgrammarpdq.html;fp=helm%2FsearchEngine%2Fhtml%2Fgrammarpdq.html;h=0000000000000000000000000000000000000000;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hp=bd3835bf90eeb3005ec6ad7d4264a78b447f62dd;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git diff --git a/helm/searchEngine/html/grammarpdq.html b/helm/searchEngine/html/grammarpdq.html deleted file mode 100644 index bd3835bf9..000000000 --- a/helm/searchEngine/html/grammarpdq.html +++ /dev/null @@ -1,38 +0,0 @@ - -
- - - - -<Id>::= [ 'A-Z' | 'a-z' ][ 'A-Z' | 'a-z' | '0-9' | \- | _ | \' ]*
- -<Uri>::= <Conuri> | <Varuri> | <Indtyuri> | <Indconuri>
- -<Conuri>::= "cic:/" [<Id> "/" ]*<Id> ".con"
- -<Varuri>::= "cic:/" [<Id> "/" ]*<Id> ".var"
- -<Indtyuri>::= "cic:/" [<Id> "/" ]*<Id> ".ind#1/" ['0-9']+
- -<Indconuri>::= "cic:/" [<Id> "/" ]*<Id> ".ind#1/" ['0-9']+ "/" ['0-9']+
- -<Exp_Named_Subst>::= "{" [ [ [<Id> | <Varuri> ] ":=" <Expression> ";" ]* [ [<Id> | <Varuri> ] ":=" <Expression> ] ]? "}"
- -<Alias>::= "alias" <Id> <Uri>
-
- <Genid>::= [ <Id> | <Varuri> | <Indtyuri> | <Indconuri> ] <Exp_Named_Subst>
-
- <Expr>::= "\" <Genid> [ ":" | ":=" ] <Expr>"."<Expr>
-
-::= "!" <Genid> ":" <Expr>"."<Expr>
-
-::= <Expr>"->"<Expr>
-
-::= "(" <Expr> ")" "->"<Expr>
-
-::= "(" <Expr> [ " " <Expr>]* ")"
-
-::= "Prop" | "Set" | "Type" | "?" | <Uri> | <Id>
-
-
\ No newline at end of file