]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql/mQueryUtil.ml
Author specification added in head comments;
[helm.git] / helm / ocaml / mathql / mQueryUtil.ml
index 2de8179327db4825a7cb6636122f0c41f23748f4..e4a29ffcfaa2c1392611e92de950c2ebd99c2ef1 100644 (file)
@@ -23,8 +23,8 @@
  * http://cs.unibo.it/helm/.
  *)
 
-(*
- *) 
+(*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+ *)
 
 (* text linearization and parsing *******************************************)