]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/grammarpdq.html
debian version 0.0.6-6
[helm.git] / helm / searchEngine / html / grammarpdq.html
index bd3835bf90eeb3005ec6ad7d4264a78b447f62dd..309e5b5925fcf7d180ef33a2e5dcc0f5f03759bf 100644 (file)
@@ -19,7 +19,7 @@
 <a name="Exp_Named_Subst">
 <p><b>&lt;Exp_Named_Subst&gt;</b>::= &quot;{&quot; [ [ [&lt;<a href="#Id">Id</a>&gt; | &lt;<a href="#Varuri">Varuri</a>&gt; ] &quot;:=&quot; &lt;Expression&gt; &quot;;&quot; ]* [ [&lt;<a href="#Id">Id</a>&gt; | &lt;<a href="#Varuri">Varuri</a>&gt; ] &quot;:=&quot; &lt;Expression&gt; ] ]? &quot;}&quot;</a>
 <a name="Alias">
-<p><b>&lt;Alias&gt;</b>::= &quot;alias&quot; &lt;<a href="#Id">Id</a>&gt; &lt;<a href="#Uri">Uri</a>&gt;
+<p><b>&lt;Alias&gt;</b>::= &quot;alias&quot; &quot;id&quot; &lt;<a href="#Id">Id</a>&gt; = &lt;<a href="#Uri">Uri</a>&gt;
 <a name="Genid">
 <p><b>&lt;Genid&gt;</b>::= [ &lt;<a href="#Id">Id</a>&gt; | &lt;<a href="#Varuri">Varuri</a>&gt; | &lt;<a href="#Indtyuri">Indtyuri</a>&gt; | &lt;<a href="#Indconuri">Indconuri</a>&gt; ] &lt;<a href="#Exp_Named_Subst">Exp_Named_Subst</a>&gt;
 <a name="Expr">
@@ -35,4 +35,4 @@
 <br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 ::= &quot;Prop&quot; | &quot;Set&quot; | &quot;Type&quot; | &quot;?&quot; | &lt;<a href="#Uri">Uri</a>&gt; | &lt;<a href="#Id">Id</a>&gt;
 </BODY>
-</HTML>
\ No newline at end of file
+</HTML>