src/HOLCF/ROOT.ML

--- a/src/HOLCF/ROOT.ML	Wed Aug 06 00:33:13 1997 +0200
+++ b/src/HOLCF/ROOT.ML	Wed Aug 06 00:37:21 1997 +0200
@@ -31,7 +31,7 @@
 use "domain/extender.ML";
 use "domain/interface.ML";
 
-init_thy_reader();
+set_parser ThySyn.parse;
 
 fun qed_spec_mp name =
   let val thm = normalize_thm [RSspec,RSmp] (result())