]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql/mathQL.ml
This commit was manufactured by cvs2svn to create tag
[helm.git] / helm / ocaml / mathql / mathQL.ml
index 7e82fe5474a1919e49bfa08e25fa00c45dda5b69..191090c4f2a89d4645f8771876b9831dda4ff603 100644 (file)
@@ -23,8 +23,8 @@
  * http://www.cs.unibo.it/helm/.
  *)
 
-(*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
- *)
+(*  
+ *) 
 
 (* output data structures ***************************************************)