From d4246a4c72251a9e9cdd5ddfeed19039f8153877 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sun, 8 Jan 2006 17:38:35 +0000
Subject: [PATCH] Added $Id$ to the file.

---
 helm/ocaml/tactics/tactics.ml | 2 ++
 1 file changed, 2 insertions(+)

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
-- 
2.39.2