src/HOL/ex/ROOT.ML
changeset 20427 0b102b4182de
parent 20400 0ad2f3bbd4f0
child 20436 0af8655ab0bb
     1.1 --- a/src/HOL/ex/ROOT.ML	Tue Aug 29 14:31:13 2006 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Tue Aug 29 14:31:14 2006 +0200
     1.3 @@ -6,9 +6,9 @@
     1.4  
     1.5  no_document time_use_thy "Classpackage";
     1.6  no_document time_use_thy "Codegenerator";
     1.7 -no_document time_use_thy "CodeEmbed";
     1.8 +no_document time_use_thy "CodeOperationalEquality";
     1.9 +no_document time_use_thy "CodeEval";
    1.10  no_document time_use_thy "CodeRandom";
    1.11 -no_document time_use_thy "CodeRevappl";
    1.12  
    1.13  time_use_thy "Higher_Order_Logic";
    1.14  time_use_thy "Abstract_NAT";