src/Sequents/ILL/ROOT.ML
changeset 17481 75166ebb619b
parent 9000 c20d58286a51
     1.1 --- a/src/Sequents/ILL/ROOT.ML	Sun Sep 18 14:25:48 2005 +0200
     1.2 +++ b/src/Sequents/ILL/ROOT.ML	Sun Sep 18 15:20:08 2005 +0200
     1.3 @@ -1,3 +1,4 @@
     1.4 +(* $Id$ *)
     1.5  
     1.6  time_use_thy "washing";
     1.7  time_use_thy "ILL_predlog";