| changeset 1696 | e84bff5c519b |
| parent 1465 | 5d7a7e439cec |
| child 4449 | df30e75f670f |
--- a/src/HOL/IMP/ROOT.ML Sat Apr 27 12:09:21 1996 +0200 +++ b/src/HOL/IMP/ROOT.ML Sat Apr 27 18:47:31 1996 +0200 @@ -8,6 +8,6 @@ writeln"Root file for HOL/IMP"; proof_timing := true; -time_use_thy "Properties"; -time_use_thy "Equiv"; +time_use_thy "Expr"; +time_use_thy "Transition"; time_use_thy "VC";