--- a/src/HOL/IsaMakefile Fri Jun 29 16:05:00 2007 +0200
+++ b/src/HOL/IsaMakefile Fri Jun 29 18:21:25 2007 +0200
@@ -92,7 +92,7 @@
Predicate.thy Product_Type.thy ROOT.ML Recdef.thy \
Record.thy Refute.thy Relation.thy Relation_Power.thy \
Ring_and_Field.thy SAT.thy Set.thy SetInterval.thy Sum_Type.thy \
- Groebner_Basis.thy Tools/ATP/reduce_axiomsN.ML Tools/ATP/watcher.ML \
+ Groebner_Basis.thy Tools/ATP/reduce_axiomsN.ML Tools/watcher.ML \
Tools/Groebner_Basis/groebner.ML Tools/Groebner_Basis/misc.ML \
Tools/Groebner_Basis/normalizer.ML \
Tools/Groebner_Basis/normalizer_data.ML Tools/Qelim/cooper.ML \