# HG changeset patch
# User chaieb
# Date 1181579204 -7200
# Node ID 405a28da4bf32dd44c7bfaaf3429ae01827c2391
# Parent  1654013ec97c3f9fbaa12aff431ef74a827b8ed8
Added dependency on file Groebner_Basis.thy

diff -r 1654013ec97c -r 405a28da4bf3 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Jun 11 16:23:17 2007 +0200
+++ b/src/HOL/IsaMakefile	Mon Jun 11 18:26:44 2007 +0200
@@ -93,7 +93,7 @@
   Ring_and_Field.thy SAT.thy Set.thy SetInterval.thy Sum_Type.thy	\
   Tools/ATP/reduce_axiomsN.ML Tools/ATP/watcher.ML			\
   Tools/Groebner_Basis/groebner.ML Tools/Groebner_Basis/misc.ML		\
-  Tools/Groebner_Basis/normalizer.ML					\
+  Tools/Groebner_Basis/normalizer.ML Groebner_Basis.thy			\
   Tools/Groebner_Basis/normalizer_data.ML				\
   Tools/Presburger/cooper.ML Tools/Presburger/presburger.ML 		\
   Tools/Presburger/qelim.ML Tools/Presburger/generated_cooper.ML 	\