]> matita.cs.unibo.it Git - helm.git/commit
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Fri, 24 May 2002 16:30:12 +0000 (16:30 +0000)
committerIrene Schena <irene.schena@unibo.it>
Fri, 24 May 2002 16:30:12 +0000 (16:30 +0000)
commit3b401fbefb3830d4f3cdce189ac31559c0219a0d
tree971bccd95c0d8033b3b14e21a068f19b0ef3ff67
parentb7e39b3d2f611c716669fb8b36c0eba3cb66cc29
Modified Files:
1) grammar.txt: added in where clause EQUAL between lists
helm/mathql/grammar.txt