src/HOL/IMP/ROOT.ML
changeset 10342 b124d59f7b61
parent 9277 a0a7c31cdc39
child 13095 8ed413a57bdc
     1.1 --- a/src/HOL/IMP/ROOT.ML	Thu Oct 26 11:27:48 2000 +0200
     1.2 +++ b/src/HOL/IMP/ROOT.ML	Thu Oct 26 14:52:41 2000 +0200
     1.3 @@ -10,3 +10,4 @@
     1.4  time_use_thy "Transition";
     1.5  time_use_thy "VC";
     1.6  time_use_thy "Examples";
     1.7 +time_use_thy "Compiler";