--- a/src/HOL/Groebner_Basis.thy Sun May 04 18:50:42 2014 +0200
+++ b/src/HOL/Groebner_Basis.thy Sun May 04 18:53:58 2014 +0200
@@ -86,9 +86,4 @@
declare zmod_eq_dvd_iff[algebra]
declare nat_mod_eq_iff[algebra]
-
-subsection {* Try0 *}
-
-ML_file "Tools/try0.ML"
-
end