]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/library/librarySync.ml
Added $Id$ to every .ml file.
[helm.git] / helm / ocaml / library / librarySync.ml
index 1ccc9d30fbf2dc5ae19f2f58e8e6f031c649a859..fe631edd2e761579b8d70c27c24490f87c861d4a 100644 (file)
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 exception AlreadyDefined of UriManager.uri
 
 let auxiliary_lemmas_hashtbl = UriManager.UriHashtbl.create 29