src/HOL/Groebner_Basis.thy
changeset 23312 6e32a5bfc30f
parent 23266 50f0a4f12ed3
child 23327 1654013ec97c
     1.1 --- a/src/HOL/Groebner_Basis.thy	Mon Jun 11 11:05:56 2007 +0200
     1.2 +++ b/src/HOL/Groebner_Basis.thy	Mon Jun 11 11:05:57 2007 +0200
     1.3 @@ -11,6 +11,7 @@
     1.4    "Tools/Groebner_Basis/misc.ML"
     1.5    "Tools/Groebner_Basis/normalizer_data.ML"
     1.6    ("Tools/Groebner_Basis/normalizer.ML")
     1.7 +  ("Tools/Groebner_Basis/groebner.ML")
     1.8  begin
     1.9  
    1.10  subsection {* Semiring normalization *}