]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/lexicon/lexiconSync.ml
Added $Id$ to every .ml file.
[helm.git] / helm / ocaml / lexicon / lexiconSync.ml
index b6d2270fe9caa09c87b38485ff07e65d470643c7..d7fa27f902b2e7038ee46e7b3c9ed9986e025b47 100644 (file)
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 let alias_diff ~from status = 
   let module Map = DisambiguateTypes.Environment in
   Map.fold