From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sun, 8 Jan 2006 17:38:35 +0000 (+0000)
Subject: Added $Id$ to the file.
X-Git-Tag: make_still_working~7898
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d4246a4c72251a9e9cdd5ddfeed19039f8153877;p=helm.git

Added $Id$ to the file.
---

diff --git a/helm/ocaml/tactics/tactics.ml b/helm/ocaml/tactics/tactics.ml
index ee59af349..170d6887f 100644
--- a/helm/ocaml/tactics/tactics.ml
+++ b/helm/ocaml/tactics/tactics.ml
@@ -23,6 +23,8 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(* $Id$ *)
+
 let absurd = NegationTactics.absurd_tac
 let apply = PrimitiveTactics.apply_tac
 let assumption = VariousTactics.assumption_tac