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