Added $Id$ to every .ml file.

[helm.git] / helm / matita / applyTransformation.ml

diff --git a/helm/matita/applyTransformation.ml b/helm/matita/applyTransformation.ml
index 861fe922de3368bfdf35a4ae9fdab1a2212a467f..83e5f3c18e42dd97a04222180ddb57f5bc1684a2 100644 (file)
--- a/helm/matita/applyTransformation.ml
+++ b/helm/matita/applyTransformation.ml
@@ -33,6 +33,8 @@
 (*                                                                         *)
 (***************************************************************************)
 
+(* $Id$ *)
+
 let mpres_document pres_box =
   Xml.add_xml_declaration (CicNotationPres.print_box pres_box)