X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fgrammarpdq.html;h=309e5b5925fcf7d180ef33a2e5dcc0f5f03759bf;hb=2026624f827b29c35d54aa67b301250123ea7311;hp=bd3835bf90eeb3005ec6ad7d4264a78b447f62dd;hpb=dedb202eeeac7293c51dbf31a302d0d3dd24af95;p=helm.git

diff --git a/helm/searchEngine/html/grammarpdq.html b/helm/searchEngine/html/grammarpdq.html
index bd3835bf9..309e5b592 100644
--- a/helm/searchEngine/html/grammarpdq.html
+++ b/helm/searchEngine/html/grammarpdq.html
@@ -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>