]> matita.cs.unibo.it Git - helm.git/commit
new syntax for "property" enabled:
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 31 May 2003 18:59:06 +0000 (18:59 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 31 May 2003 18:59:06 +0000 (18:59 +0000)
commit99bd3d38d021bb5c618883e8a484891f227082c3
treeecf1878391bfbf7cfb059e462e3835dc4eef4ec0
parentf41a5585a648d57e4d8a24d664b0a5ce5d591148
new syntax for "property" enabled:
 now many "isfalse" clauses are accepted
helm/ocaml/mathql_interpreter/mQIExecute.ml
helm/ocaml/mathql_interpreter/mQIProperty.ml
helm/ocaml/mathql_interpreter/mQIProperty.mli