X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fgrammar.txt;h=2c53c2a1d07d4118ba6498a5aed968810afce66c;hb=3b401fbefb3830d4f3cdce189ac31559c0219a0d;hp=25e4b8e1eb3cb62c3730f2592c675ec6e0448e91;hpb=b7e39b3d2f611c716669fb8b36c0eba3cb66cc29;p=helm.git

diff --git a/helm/mathql/grammar.txt b/helm/mathql/grammar.txt
index 25e4b8e1e..2c53c2a1d 100644
--- a/helm/mathql/grammar.txt
+++ b/helm/mathql/grammar.txt
@@ -31,6 +31,7 @@ MATHEMATICAL QUERY LANGUAGE (MathQL)
        |  TRUE                                 (* vero *)
        |  FALSE                                (* falso *)
        |  <string> IS <string>                 (* case sensitive matching *)
+       |  <list> EQUAL <list>                  (* uguaglianza tra liste *)
        
 <pattern> := <"-quoted-constant-string>        (* pattern costante *)
           
@@ -74,6 +75,7 @@ MATHEMATICAL QUERY LANGUAGE (MathQL)
 <rvar> := <not-reserved-identifier>            (* variabile per risorse *)
 <svar> := $ <not-reserved-identifier>          (* variabile per stringhe *)
 
+- () = lista vuota (?)
 - le stringhe sono "case sensitive" 
 - la funzione non definita sull'argomento restituisce la stringa nulla
 - le <rvar> si presuppongono essere istanziate come URI references costituite