--- a/src/HOL/IsaMakefile Fri Dec 16 11:51:24 2005 +0100
+++ b/src/HOL/IsaMakefile Fri Dec 16 12:15:54 2005 +0100
@@ -90,6 +90,7 @@
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 \