]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/tactics/introductionTactics.ml
Added $Id$ to every .ml file.
[helm.git] / helm / ocaml / tactics / introductionTactics.ml
index 6bf8ab6c1e37d339c37ac5afaef982fe148c3ea1..9ed3647c1306370a3aa3096f5489ffab81c15828 100644 (file)
@@ -23,6 +23,8 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(* $Id$ *)
+
 let fake_constructor_tac ~n (proof, goal) =
   let module C = Cic in
   let module R = CicReduction in