src/FOL/ROOT.ML
changeset 21539 c5cf9243ad62
parent 19835 81d6dc597559
child 22822 c1a6a2159e69
     1.1 --- a/src/FOL/ROOT.ML	Sun Nov 26 23:09:25 2006 +0100
     1.2 +++ b/src/FOL/ROOT.ML	Sun Nov 26 23:43:53 2006 +0100
     1.3 @@ -24,3 +24,13 @@
     1.4  use "~~/src/Provers/project_rule.ML";
     1.5  
     1.6  use_thy "FOL";
     1.7 +
     1.8 +structure IFOL =
     1.9 +struct
    1.10 +  val thy = theory "IFOL";
    1.11 +end;
    1.12 +
    1.13 +structure FOL =
    1.14 +struct
    1.15 +  val thy = theory "FOL";
    1.16 +end;