src/FOL/ROOT.ML
changeset 21539 c5cf9243ad62
parent 19835 81d6dc597559
child 22822 c1a6a2159e69
--- a/src/FOL/ROOT.ML	Sun Nov 26 23:09:25 2006 +0100
+++ b/src/FOL/ROOT.ML	Sun Nov 26 23:43:53 2006 +0100
@@ -24,3 +24,13 @@
 use "~~/src/Provers/project_rule.ML";
 
 use_thy "FOL";
+
+structure IFOL =
+struct
+  val thy = theory "IFOL";
+end;
+
+structure FOL =
+struct
+  val thy = theory "FOL";
+end;