X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Ftactics%2FfwdSimplTactic.ml;h=0bae64f6c6fb7bb1e22a1ac84d4400cc4e0ae20a;hb=ed308fc03be5397081ac0e00bbc73b3f71da1e67;hp=a40dd42b339747cd5720abb515be742761e62aef;hpb=6203a9d0d56c7ec7cd11713b5ed56645271154be;p=helm.git

diff --git a/helm/ocaml/tactics/fwdSimplTactic.ml b/helm/ocaml/tactics/fwdSimplTactic.ml
index a40dd42b3..0bae64f6c 100644
--- 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