# HG changeset patch
# User haftmann
# Date 1159196686 -7200
# Node ID 29c1754b250ff2f55a59c6f16e2e3678229b76f7
# Parent  eb0193afca14119867e32f7f1f6765cc4562ede1
changed order

diff -r eb0193afca14 -r 29c1754b250f src/Pure/Tools/ROOT.ML
--- a/src/Pure/Tools/ROOT.ML	Mon Sep 25 17:04:45 2006 +0200
+++ b/src/Pure/Tools/ROOT.ML	Mon Sep 25 17:04:46 2006 +0200
@@ -4,6 +4,7 @@
 Miscellaneous tools and packages for Pure Isabelle.
 *)
 
+
 (*derived theory and proof elements*)
 use "invoke.ML";
 use "class_package.ML";
@@ -13,12 +14,12 @@
 
 (*code generator, 2nd generation*)
 use "codegen_consts.ML";
+use "codegen_simtype.ML";
+use "codegen_data.ML";
 use "codegen_names.ML";
-use "codegen_data.ML";
 use "codegen_funcgr.ML";
 use "codegen_thingol.ML";
 use "codegen_serializer.ML";
-use "codegen_simtype.ML";
 use "codegen_package.ML";
 
 (*Steven Obua's evaluator*)