src/HOL/Groebner_Basis.thy
changeset 36698 45f1a487cd27
parent 36409 d323e7773aa8
child 36699 816da1023508
     1.1 --- a/src/HOL/Groebner_Basis.thy	Wed May 05 16:46:18 2010 +0200
     1.2 +++ b/src/HOL/Groebner_Basis.thy	Wed May 05 16:46:19 2010 +0200
     1.3 @@ -7,7 +7,6 @@
     1.4  theory Groebner_Basis
     1.5  imports Numeral_Simprocs
     1.6  uses
     1.7 -  "Tools/Groebner_Basis/misc.ML"
     1.8    "Tools/Groebner_Basis/normalizer_data.ML"
     1.9    ("Tools/Groebner_Basis/normalizer.ML")
    1.10    ("Tools/Groebner_Basis/groebner.ML")