--- a/src/HOL/IsaMakefile Wed Dec 21 12:05:47 2005 +0100
+++ b/src/HOL/IsaMakefile Wed Dec 21 12:06:08 2005 +0100
@@ -90,7 +90,6 @@
Lattice_Locales.thy List.ML List.thy Main.ML Main.thy Map.thy \
Nat.ML Nat.thy NatArith.thy OrderedGroup.ML OrderedGroup.thy \
Orderings.ML Orderings.thy Power.thy PreList.thy Product_Type.thy \
- $(SRC)/Pure/General/hashtable.ML \
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 \
Set.thy SetInterval.thy Sum_Type.thy Tools/ATP/AtpCommunication.ML \
@@ -105,6 +104,7 @@
Tools/datatype_rep_proofs.ML Tools/inductive_codegen.ML \
Tools/inductive_package.ML Tools/inductive_realizer.ML Tools/meson.ML \
Tools/numeral_syntax.ML Tools/primrec_package.ML Tools/prop_logic.ML \
+ Tools/polyhash.ML \
Tools/recdef_package.ML Tools/recfun_codegen.ML \
Tools/reconstruction.ML Tools/record_package.ML Tools/refute.ML \
Tools/refute_isar.ML Tools/res_atp.ML Tools/res_axioms.ML \