From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 10 Mar 2008 15:49:51 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~5541
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0bbf5c11728151b490365c314bc84b82cc8d4958;p=helm.git

...
---

diff --git a/helm/software/components/tactics/tactics.mli b/helm/software/components/tactics/tactics.mli
index 0a0a2e0d6..d016bc55d 100644
--- a/helm/software/components/tactics/tactics.mli
+++ b/helm/software/components/tactics/tactics.mli
@@ -1,4 +1,4 @@
-(* GENERATED FILE, DO NOT EDIT. STAMP:Fri Jan  4 11:45:29 CET 2008 *)
+(* GENERATED FILE, DO NOT EDIT. STAMP:Mon Mar 10 16:49:47 CET 2008 *)
 val absurd : term:Cic.term -> ProofEngineTypes.tactic
 val apply : term:Cic.term -> ProofEngineTypes.tactic
 val applyS :