src/HOL/Hoare/ROOT.ML
changeset 13857 11d7c5a8dbb7
parent 13772 73d041cc6a66
child 13875 12997e3ddd8d
     1.1 --- a/src/HOL/Hoare/ROOT.ML	Tue Mar 11 15:04:24 2003 +0100
     1.2 +++ b/src/HOL/Hoare/ROOT.ML	Tue Mar 11 15:04:24 2003 +0100
     1.3 @@ -5,5 +5,6 @@
     1.4  *)
     1.5  
     1.6  time_use_thy "Examples";
     1.7 +time_use_thy "ExamplesAbort";
     1.8  time_use_thy "Pointers0";
     1.9  time_use_thy "Pointer_Examples";