src/HOL/ex/ROOT.ML
changeset 19281 b411f25fff25
parent 19241 613f374ea27d
child 19438 6d266e266b3f
     1.1 --- a/src/HOL/ex/ROOT.ML	Fri Mar 17 14:19:24 2006 +0100
     1.2 +++ b/src/HOL/ex/ROOT.ML	Fri Mar 17 14:20:24 2006 +0100
     1.3 @@ -57,6 +57,8 @@
     1.4  
     1.5  time_use_thy "Refute_Examples";
     1.6  time_use_thy "Quickcheck_Examples";
     1.7 +no_document time_use_thy "Classpackage";
     1.8 +no_document time_use_thy "Codegenerator";
     1.9  no_document time_use_thy "nbe";
    1.10  
    1.11  no_document use_thy "Word";