+++ /dev/null
-<HTML>
-<HEAD>
-<SCRIPT language="Javascript">
-</SCRIPT>
-</HEAD>
-<BODY>
-<a name="Id">
-<p><b><Id></b>::= [ 'A-Z' | 'a-z' ][ 'A-Z' | 'a-z' | '0-9' | \- | _ | \' ]*</a>
-<a name="Uri">
-<p><b><Uri></b>::= <<a href="#Conuri">Conuri</a>> | <<a href="#Varuri">Varuri</a>> | <<a href="#Indtyuri">Indtyuri</a>> | <<a href="#Indconuri">Indconuri</a>></a>
-<a name="Conuri">
-<p><b><Conuri></b>::= "cic:/" [<<a href="#Id">Id</a>> "/" ]*<<a href="#Id">Id</a>> ".con"</a>
-<a name="Varuri">
-<p><b><Varuri></b>::= "cic:/" [<<a href="#Id">Id</a>> "/" ]*<<a href="#Id">Id</a>> ".var"</a>
-<a name="Indtyuri">
-<p><b><Indtyuri></b>::= "cic:/" [<<a href="#Id">Id</a>> "/" ]*<<a href="#Id">Id</a>> ".ind#1/" ['0-9']+</a>
-<a name="Indconuri">
-<p><b><Indconuri></b>::= "cic:/" [<<a href="#Id">Id</a>> "/" ]*<<a href="#Id">Id</a>> ".ind#1/" ['0-9']+ "/" ['0-9']+</a>
-<a name="Exp_Named_Subst">
-<p><b><Exp_Named_Subst></b>::= "{" [ [ [<<a href="#Id">Id</a>> | <<a href="#Varuri">Varuri</a>> ] ":=" <Expression> ";" ]* [ [<<a href="#Id">Id</a>> | <<a href="#Varuri">Varuri</a>> ] ":=" <Expression> ] ]? "}"</a>
-<a name="Alias">
-<p><b><Alias></b>::= "alias" "id" <<a href="#Id">Id</a>> = <<a href="#Uri">Uri</a>>
-<a name="Genid">
-<p><b><Genid></b>::= [ <<a href="#Id">Id</a>> | <<a href="#Varuri">Varuri</a>> | <<a href="#Indtyuri">Indtyuri</a>> | <<a href="#Indconuri">Indconuri</a>> ] <<a href="#Exp_Named_Subst">Exp_Named_Subst</a>>
-<a name="Expr">
-<p><b><Expr></b>::= "\" <<a href="#Genid">Genid</a>> [ ":" | ":=" ] <<a href="#Expr">Expr</a>>"."<<a href="#Expr">Expr</a>>
-<br>
-::= "!" <<a href="#Genid">Genid</a>> ":" <<a href="#Expr">Expr</a>>"."<<a href="#Expr">Expr</a>>
-<br>
-::= <<a href="#Expr">Expr</a>>"->"<<a href="#Expr">Expr</a>>
-<br>
-::= "(" <<a href="#Expr">Expr</a>> ")" "->"<<a href="#Expr">Expr</a>>
-<br>
-::= "(" <<a href="#Expr">Expr</a>> [ " " <<a href="#Expr">Expr</a>>]* ")"
-<br>
-::= "Prop" | "Set" | "Type" | "?" | <<a href="#Uri">Uri</a>> | <<a href="#Id">Id</a>>
-</BODY>
-</HTML>