changeset 393 | 02b27671b899 |
parent 297 | 5ef75ff3baeb |
child 625 | 119391dd1d59 |
--- a/src/HOLCF/ROOT.ML Thu May 19 16:42:04 1994 +0200 +++ b/src/HOLCF/ROOT.ML Thu May 19 17:06:24 1994 +0200 @@ -11,9 +11,7 @@ writeln banner; print_depth 1; -structure Readthy = ReadthyFUN (structure ThySyn = ThySyn); -Readthy.loaded_thys := !loaded_thys; -open Readthy; +init_thy_reader(); use_thy "Holcfb"; use_thy "Void";