]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_test/mQGTopLexer.mll
Author specification added in head comments;
[helm.git] / helm / ocaml / mathql_test / mQGTopLexer.mll
index da69710285e34f38ec601446d2ee7ef1760e2bab..7e69bccf6874f74de08b06dd1444c69668bf32cd 100644 (file)
  * http://cs.unibo.it/helm/.
  *)
 
-(******************************************************************************)
-(*                                                                            *)
-(*                               PROJECT HELM                                 *)
-(*                                                                            *)
-(*                     Ferruccio Guidi <fguidi@cs.unibo.it>                   *)
-(*                                 23/05/2002                                 *)
-(*                                                                            *)
-(*                                                                            *)
-(******************************************************************************)
+(*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+ *)
 
 { 
    open MQGTopParser