diff -r 6e805f389355 -r e314fb38307d src/HOL/IsaMakefile
--- 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			\