src/HOL/IsaMakefile
changeset 24162 8dfd5dd65d82
parent 24152 63cc746667a0
child 24194 96013f81faef
     1.1 --- a/src/HOL/IsaMakefile	Tue Aug 07 09:38:43 2007 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Aug 07 09:38:44 2007 +0200
     1.3 @@ -82,13 +82,13 @@
     1.4    $(SRC)/Provers/project_rule.ML $(SRC)/Provers/quantifier1.ML		\
     1.5    $(SRC)/Provers/quasi.ML $(SRC)/Provers/splitter.ML			\
     1.6    $(SRC)/Provers/trancl.ML $(SRC)/Tools/integer.ML $(SRC)/Tools/Metis/metis.ML\
     1.7 -  $(SRC)/Tools/rat.ML Tools/TFL/casesplit.ML ATP_Linkup.thy 		\
     1.8 +  $(SRC)/Tools/nbe.ML $(SRC)/Tools/rat.ML Tools/TFL/casesplit.ML ATP_Linkup.thy	\
     1.9    Accessible_Part.thy Arith_Tools.thy Datatype.thy 			\
    1.10    Dense_Linear_Order.thy Divides.thy Equiv_Relations.thy Extraction.thy	\
    1.11    Finite_Set.thy FixedPoint.thy Fun.thy FunDef.thy HOL.thy		\
    1.12    Hilbert_Choice.thy Inductive.thy IntArith.thy IntDef.thy IntDiv.thy	\
    1.13    Lattices.thy List.thy Main.thy Map.thy Nat.thy NatBin.thy	\
    1.14 -  Numeral.thy OrderedGroup.thy Orderings.thy Power.thy PreList.thy	\
    1.15 +  Numeral.thy Option.thy OrderedGroup.thy Orderings.thy Power.thy PreList.thy	\
    1.16    Predicate.thy Product_Type.thy ROOT.ML Recdef.thy			\
    1.17    Record.thy Refute.thy Relation.thy Relation_Power.thy			\
    1.18    Ring_and_Field.thy SAT.thy Set.thy SetInterval.thy Sum_Type.thy	\