src/Pure/ROOT.ML
changeset 35626 06197484c6ad
parent 35014 a725ff6ead26
child 35628 f1456d045151
--- a/src/Pure/ROOT.ML	Sun Mar 07 12:19:47 2010 +0100
+++ b/src/Pure/ROOT.ML	Sun Mar 07 12:47:02 2010 +0100
@@ -218,6 +218,7 @@
 use "Isar/spec_parse.ML";
 use "Isar/spec_rules.ML";
 use "Isar/specification.ML";
+use "Isar/typedecl.ML";
 use "Isar/constdefs.ML";
 
 (*toplevel transactions*)