--- a/src/HOL/IsaMakefile Mon Oct 16 14:07:21 2006 +0200
+++ b/src/HOL/IsaMakefile Mon Oct 16 14:07:31 2006 +0200
@@ -84,7 +84,7 @@
$(SRC)/TFL/rules.ML $(SRC)/TFL/tfl.ML $(SRC)/TFL/thms.ML \
$(SRC)/TFL/thry.ML $(SRC)/TFL/usyntax.ML $(SRC)/TFL/utils.ML \
Tools/res_atpset.ML \
- Binomial.thy Datatype.ML Datatype.thy \
+ Binomial.thy Code_Generator.thy Datatype.ML Datatype.thy \
Divides.thy \
Equiv_Relations.thy Extraction.thy Finite_Set.ML Finite_Set.thy \
FixedPoint.thy Fun.thy HOL.ML HOL.thy Hilbert_Choice.thy Inductive.thy \
@@ -95,7 +95,7 @@
Integ/reflected_cooper.ML Integ/int_arith1.ML Integ/int_factor_simprocs.ML \
Integ/nat_simprocs.ML Integ/presburger.ML Integ/qelim.ML LOrder.thy \
Lattice_Locales.thy List.ML List.thy Main.ML Main.thy Map.thy \
- Nat.ML Nat.thy NatArith.thy OperationalEquality.thy OrderedGroup.ML OrderedGroup.thy \
+ Nat.ML Nat.thy NatArith.thy OrderedGroup.ML OrderedGroup.thy \
Orderings.ML Orderings.thy Power.thy PreList.thy Product_Type.thy \
ROOT.ML Recdef.thy Reconstruction.thy Record.thy Refute.thy \
Relation.ML Relation.thy Relation_Power.thy Ring_and_Field.thy SAT.thy Set.ML \