X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fgrammarpdq.html;fp=helm%2FsearchEngine%2Fhtml%2Fgrammarpdq.html;h=0000000000000000000000000000000000000000;hp=bd3835bf90eeb3005ec6ad7d4264a78b447f62dd;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff 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