src/HOL/Groebner_Basis.thy
changeset 55178 318cd8ac1817
parent 54251 adea9f6986b2
child 55509 bd67ebe275e0
     1.1 --- a/src/HOL/Groebner_Basis.thy	Thu Jan 30 13:38:28 2014 +0100
     1.2 +++ b/src/HOL/Groebner_Basis.thy	Thu Jan 30 13:38:28 2014 +0100
     1.3 @@ -85,4 +85,9 @@
     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