1.1 --- a/doc-src/ZF/ROOT.ML Mon May 02 22:19:28 2011 +0200 1.2 +++ b/doc-src/ZF/ROOT.ML Mon May 02 22:31:46 2011 +0200 1.3 @@ -1,4 +1,3 @@ 1.4 -(* ID: $Id$ *) 1.5 use_thy "IFOL_examples"; 1.6 use_thy "FOL_examples"; 1.7 use_thy "ZF_examples";