]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/library/coercDb.ml
Added $Id$ to every .ml file.
[helm.git] / helm / ocaml / library / coercDb.ml
index ac5067585b9c0d5b4cb6409de9f9e77f57bd18d9..01065325f8c7d5ef729cfcd34540773463aef2cd 100644 (file)
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 type coerc_carr = Uri of UriManager.uri | Sort of Cic.sort | Term of Cic.term
 exception EqCarrNotImplemented of string Lazy.t
 exception EqCarrOnNonMetaClosed