src/HOL/IsaMakefile
changeset 35050 9f841f20dca6
parent 35039 e682bb587071
child 35053 43175817d83b
     1.1 --- a/src/HOL/IsaMakefile	Mon Feb 08 17:12:32 2010 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Feb 08 17:12:38 2010 +0100
     1.3 @@ -145,15 +145,16 @@
     1.4    Complete_Lattice.thy \
     1.5    Datatype.thy \
     1.6    Extraction.thy \
     1.7 +  Fields.thy \
     1.8    Finite_Set.thy \
     1.9    Fun.thy \
    1.10    FunDef.thy \
    1.11 +  Groups.thy \
    1.12    Inductive.thy \
    1.13    Lattices.thy \
    1.14    Nat.thy \
    1.15    Nitpick.thy \
    1.16    Option.thy \
    1.17 -  OrderedGroup.thy \
    1.18    Orderings.thy \
    1.19    Plain.thy \
    1.20    Power.thy \
    1.21 @@ -162,7 +163,7 @@
    1.22    Record.thy \
    1.23    Refute.thy \
    1.24    Relation.thy \
    1.25 -  Ring_and_Field.thy \
    1.26 +  Rings.thy \
    1.27    SAT.thy \
    1.28    Set.thy \
    1.29    Sum_Type.thy \