Added $Id$ to every .ml file.

[helm.git] / helm / ocaml / tactics / fwdSimplTactic.ml

diff --git a/helm/ocaml/tactics/fwdSimplTactic.ml b/helm/ocaml/tactics/fwdSimplTactic.ml
index a40dd42b339747cd5720abb515be742761e62aef..0bae64f6c6fb7bb1e22a1ac84d4400cc4e0ae20a 100644 (file)
--- a/helm/ocaml/tactics/fwdSimplTactic.ml
+++ b/helm/ocaml/tactics/fwdSimplTactic.ml
@@ -23,6 +23,7 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(* $Id$ *)
 
 module PEH = ProofEngineHelpers 
 module U  = CicUniv