Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 23328 405a28da4bf3
parent 23313 af2847a95751
child 23445 6908c13215d1 
--- 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