X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2FfiniteCofinite.ml;h=8d3c3ee4f23434956e4467a8951348836e77687b;hp=d3d0f13d610e07575cb9d919ccb96d256a45815b;hb=6b66008811639324be623a42037b60e02056772c;hpb=ddd758716b1cd691c8748d2e86c179e803b1d3af

diff --git a/src/finiteCofinite.ml b/src/finiteCofinite.ml
index d3d0f13..8d3c3ee 100644
--- a/src/finiteCofinite.ml
+++ b/src/finiteCofinite.ml
@@ -12,6 +12,11 @@
 (*  ../LICENSE.                                                        *)
 (*                                                                     *)
 (***********************************************************************)
+
+(*
+  Time-stamp: <Last modified on 2013-01-30 19:09:01 CET by Kim Nguyen>
+*)
+
 INCLUDE "utils.ml"
 
 include Sigs.FINITECOFINITE