--- a/src/HOL/Groebner_Basis.thy Sat Feb 15 21:11:29 2014 +0100
+++ b/src/HOL/Groebner_Basis.thy Sun Feb 16 13:56:48 2014 +0100
@@ -6,6 +6,7 @@
theory Groebner_Basis
imports Semiring_Normalization
+keywords "try0" :: diag
begin
subsection {* Groebner Bases *}