changeset 19281 | b411f25fff25 |
parent 19241 | 613f374ea27d |
child 19438 | 6d266e266b3f |
--- a/src/HOL/ex/ROOT.ML Fri Mar 17 14:19:24 2006 +0100 +++ b/src/HOL/ex/ROOT.ML Fri Mar 17 14:20:24 2006 +0100 @@ -57,6 +57,8 @@ time_use_thy "Refute_Examples"; time_use_thy "Quickcheck_Examples"; +no_document time_use_thy "Classpackage"; +no_document time_use_thy "Codegenerator"; no_document time_use_thy "nbe"; no_document use_thy "Word";