src/HOL/TLA/Buffer/ROOT.ML

--- a/src/HOL/TLA/Buffer/ROOT.ML	Wed Sep 07 20:22:15 2005 +0200
+++ b/src/HOL/TLA/Buffer/ROOT.ML	Wed Sep 07 20:22:39 2005 +0200
@@ -1,2 +1,4 @@
+
+(* $Id$ *)
 
 time_use_thy "DBuffer";