early test of Classpackage, Codegenerator;
authorwenzelm
Thu Apr 13 12:01:16 2006 +0200 (2006-04-13)
changeset 194386d266e266b3f
parent 19437 77b19ffc175e
child 19439 27c2e4cd634b
early test of Classpackage, Codegenerator;
src/HOL/ex/ROOT.ML
     1.1 --- a/src/HOL/ex/ROOT.ML	Thu Apr 13 12:01:15 2006 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Thu Apr 13 12:01:16 2006 +0200
     1.3 @@ -4,6 +4,9 @@
     1.4  Miscellaneous examples for Higher-Order Logic.
     1.5  *)
     1.6  
     1.7 +no_document time_use_thy "Classpackage";
     1.8 +no_document time_use_thy "Codegenerator";
     1.9 +
    1.10  time_use_thy "Higher_Order_Logic";
    1.11  time_use_thy "Abstract_NAT";
    1.12  
    1.13 @@ -57,8 +60,6 @@
    1.14  
    1.15  time_use_thy "Refute_Examples";
    1.16  time_use_thy "Quickcheck_Examples";
    1.17 -no_document time_use_thy "Classpackage";
    1.18 -no_document time_use_thy "Codegenerator";
    1.19  no_document time_use_thy "nbe";
    1.20  
    1.21  no_document use_thy "Word";