src/HOL/IMP/ROOT.ML
changeset 1447 bc2c0acbbf29
parent 1351 4a960c012383
child 1465 5d7a7e439cec
     1.1 --- a/src/HOL/IMP/ROOT.ML	Sat Jan 20 02:00:11 1996 +0100
     1.2 +++ b/src/HOL/IMP/ROOT.ML	Tue Jan 23 10:59:35 1996 +0100
     1.3 @@ -10,4 +10,4 @@
     1.4  proof_timing := true;
     1.5  time_use_thy "Properties";
     1.6  time_use_thy "Equiv";
     1.7 -time_use_thy "Hoare";
     1.8 +time_use_thy "VC";