src/HOL/IMP/ROOT.ML
changeset 9241 f961c1fdff50
parent 9000 c20d58286a51
child 9276 9e619ac0fe2f
     1.1 --- a/src/HOL/IMP/ROOT.ML	Tue Jul 04 10:54:32 2000 +0200
     1.2 +++ b/src/HOL/IMP/ROOT.ML	Tue Jul 04 10:54:46 2000 +0200
     1.3 @@ -7,3 +7,4 @@
     1.4  time_use_thy "Expr";
     1.5  time_use_thy "Transition";
     1.6  time_use_thy "VC";
     1.7 +time_use_thy "Examples";