src/HOL/Groebner_Basis.thy
changeset 56850 13a7bca533a3
parent 55509 bd67ebe275e0
child 57951 7896762b638b
     1.1 --- a/src/HOL/Groebner_Basis.thy	Sun May 04 18:50:42 2014 +0200
     1.2 +++ b/src/HOL/Groebner_Basis.thy	Sun May 04 18:53:58 2014 +0200
     1.3 @@ -86,9 +86,4 @@
     1.4  declare zmod_eq_dvd_iff[algebra]
     1.5  declare nat_mod_eq_iff[algebra]
     1.6  
     1.7 -
     1.8 -subsection {* Try0 *}
     1.9 -
    1.10 -ML_file "Tools/try0.ML"
    1.11 -
    1.12  end