]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_test/mQGTopParser.mly
patched
[helm.git] / helm / ocaml / mathql_test / mQGTopParser.mly
index 9fd70a033177100a8de150470e100abb4a2f05a2..8aa01b6c4af0ceb53d50bd508a900ba4fa3000d2 100644 (file)
  * http://cs.unibo.it/helm/.
  */
 
+/*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+ */
+
+
 %{
    let f (x, y, z) = x
    let s (x, y, z) = y