# HG changeset patch
# User clasohm
# Date 748189532 -7200
# Node ID c67f44be880f34586a23582dd084e662016c2db3
# Parent  c6a6e3db53535dacea80713652363b9e277ce6dd
moved use of Thy/ROOT.ML to end of file because Thy/read.ML needs Thm

diff -r c6a6e3db5353 -r c67f44be880f src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Thu Sep 16 14:21:44 1993 +0200
+++ b/src/Pure/ROOT.ML	Thu Sep 16 16:25:32 1993 +0200
@@ -28,11 +28,6 @@
 use "ROOT.ML";
 cd "..";
 
-(* Theory parser *)
-cd "Thy";
-use "ROOT.ML";
-cd "..";
-
 print_depth 1;
 use "type.ML";
 use "sign.ML";
@@ -69,3 +64,9 @@
 open Basic_Syntax Thm Drule Tactical Tactic Goals;
 
 structure Pure = struct val thy = pure_thy end;
+
+(* Theory parser *)
+cd "Thy";
+use "ROOT.ML";
+cd "..";
+