Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added dependency on file Groebner_Basis.thy
authorchaieb
Mon, 11 Jun 2007 18:26:44 +0200
changeset 23328 405a28da4bf3
parent 23327 1654013ec97c
child 23329 0dbb30302259
Added dependency on file Groebner_Basis.thy
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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 	\
isabelle