src/HOL/Hoare/ROOT.ML
changeset 13772 73d041cc6a66
parent 13771 6cd59cc885a1
child 13857 11d7c5a8dbb7
     1.1 --- a/src/HOL/Hoare/ROOT.ML	Sun Jan 05 21:03:14 2003 +0100
     1.2 +++ b/src/HOL/Hoare/ROOT.ML	Mon Jan 06 11:22:54 2003 +0100
     1.3 @@ -6,4 +6,4 @@
     1.4  
     1.5  time_use_thy "Examples";
     1.6  time_use_thy "Pointers0";
     1.7 -time_use_thy "Pointers";
     1.8 +time_use_thy "Pointer_Examples";