]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql/mQueryUtil.ml
This commit was manufactured by cvs2svn to create tag
[helm.git] / helm / ocaml / mathql / mQueryUtil.ml
index e4a29ffcfaa2c1392611e92de950c2ebd99c2ef1..2de8179327db4825a7cb6636122f0c41f23748f4 100644 (file)
@@ -23,8 +23,8 @@
  * http://cs.unibo.it/helm/.
  *)
 
-(*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
- *)
+(*
+ *) 
 
 (* text linearization and parsing *******************************************)