src/HOL/Hoare/ROOT.ML
changeset 13771 6cd59cc885a1
parent 13132 d7f33559f871
child 13772 73d041cc6a66
     1.1 --- a/src/HOL/Hoare/ROOT.ML	Fri Jan 03 10:24:24 2003 +0100
     1.2 +++ b/src/HOL/Hoare/ROOT.ML	Sun Jan 05 21:03:14 2003 +0100
     1.3 @@ -5,4 +5,5 @@
     1.4  *)
     1.5  
     1.6  time_use_thy "Examples";
     1.7 +time_use_thy "Pointers0";
     1.8  time_use_thy "Pointers";