--- 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";