]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_test/mQGTopLexer.mll
patched
[helm.git] / helm / ocaml / mathql_test / mQGTopLexer.mll
index cf116641bee81cbbf42b0cc7b009259be19966d9..47646064690db314ac77bc92bf8c6177b18b8882 100644 (file)
@@ -23,6 +23,9 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+ *)
+
 { 
    open MQGTopParser