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.
explicitely depends on file groebner.ML
authorchaieb
Mon, 11 Jun 2007 11:05:57 +0200
changeset 23312 6e32a5bfc30f
parent 23311 b1eb911bf22f
child 23313 af2847a95751
explicitely depends on file groebner.ML
src/HOL/Groebner_Basis.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Groebner_Basis.thy	Mon Jun 11 11:05:56 2007 +0200
+++ b/src/HOL/Groebner_Basis.thy	Mon Jun 11 11:05:57 2007 +0200
@@ -11,6 +11,7 @@
   "Tools/Groebner_Basis/misc.ML"
   "Tools/Groebner_Basis/normalizer_data.ML"
   ("Tools/Groebner_Basis/normalizer.ML")
+  ("Tools/Groebner_Basis/groebner.ML")
 begin
 
 subsection {* Semiring normalization *}
isabelle