changeset 21911 | e29bcab0c81c |
parent 21256 | 47195501ecf7 |
child 22067 | 39d5d42116c4 |
--- a/src/HOL/ex/ROOT.ML Wed Dec 27 19:09:59 2006 +0100 +++ b/src/HOL/ex/ROOT.ML Wed Dec 27 19:10:00 2006 +0100 @@ -8,10 +8,10 @@ no_document use_thy "GCD"; no_document time_use_thy "Classpackage"; -no_document time_use_thy "Codegenerator"; no_document time_use_thy "CodeCollections"; no_document time_use_thy "CodeEval"; no_document time_use_thy "CodeRandom"; +no_document time_use_thy "Codegenerator"; time_use_thy "Higher_Order_Logic"; time_use_thy "Abstract_NAT";