changeset 121 | d392174734e9 |
parent 72 | 099d949fe467 |
child 393 | 02b27671b899 |
--- a/src/CTT/ROOT.ML Mon Nov 15 14:41:25 1993 +0100 +++ b/src/CTT/ROOT.ML Tue Nov 16 14:10:19 1993 +0100 @@ -15,11 +15,11 @@ structure Readthy = ReadthyFUN (structure ThySyn = ThySyn); open Readthy; -use_thy"ctt"; +use_thy "CTT"; use "../Provers/typedsimp.ML"; use "rew.ML"; -use_thy "arith"; -use_thy "bool"; +use_thy "Arith"; +use_thy "Bool"; use "../Pure/install_pp.ML"; print_depth 8;