src/HOL/Groebner_Basis.thy
changeset 36752 cf558aeb35b0
parent 36751 7f1da69cacb3
child 45294 3c5d3d286055
     1.1 --- a/src/HOL/Groebner_Basis.thy	Fri May 07 15:05:52 2010 +0200
     1.2 +++ b/src/HOL/Groebner_Basis.thy	Fri May 07 16:12:25 2010 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  theory Groebner_Basis
     1.5  imports Semiring_Normalization
     1.6  uses
     1.7 -  ("Tools/Groebner_Basis/groebner.ML")
     1.8 +  ("Tools/groebner.ML")
     1.9  begin
    1.10  
    1.11  subsection {* Groebner Bases *}
    1.12 @@ -40,7 +40,7 @@
    1.13  
    1.14  setup Algebra_Simplification.setup
    1.15  
    1.16 -use "Tools/Groebner_Basis/groebner.ML"
    1.17 +use "Tools/groebner.ML"
    1.18  
    1.19  method_setup algebra = Groebner.algebra_method
    1.20    "solve polynomial equations over (semi)rings and ideal membership problems using Groebner bases"