]> matita.cs.unibo.it Git - helm.git/commit
Debugging prints removed.
authornatile <??>
Fri, 22 Nov 2002 18:01:49 +0000 (18:01 +0000)
committernatile <??>
Fri, 22 Nov 2002 18:01:49 +0000 (18:01 +0000)
commita96d91e43e25d3d5b36e7c3646831bcf8a401c9d
tree444ce05037fc1c249354ddb2eaf382abedb44635
parent010ac872160bf21af42227971c086270e3ab2dd8
Debugging prints removed.
helm/ocaml/mathql_interpreter/pattern.ml
helm/ocaml/mathql_interpreter/relation.ml