]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_generator/mQGTypes.ml
Added $Id$ to every .ml file.
[helm.git] / helm / ocaml / mathql_generator / mQGTypes.ml
index a210aa68f355e1b9bc95744255a9f9440da52716..9ed2ce25367a9c30b1f723cafd36f0113c8a470d 100644 (file)
@@ -27,6 +27,8 @@
  *          Claudio Sacerdoti Coen <sacerdot@cs.unibo.it> 
  *)
 
+(* $Id$ *)
+
 (* low level types  *********************************************************)
 
 type uri = string