# HG changeset patch
# User wenzelm
# Date 1415369970 -3600
# Node ID 1b655309617c6e02b9fe64e88fdb39450e8c0c68
# Parent  b48bbd380d5929b76863946b7c5541468c338c00
more accurate keywords;

diff -r b48bbd380d59 -r 1b655309617c src/HOL/Groebner_Basis.thy
--- a/src/HOL/Groebner_Basis.thy	Thu Nov 06 16:10:33 2014 +0100
+++ b/src/HOL/Groebner_Basis.thy	Fri Nov 07 15:19:30 2014 +0100
@@ -6,7 +6,6 @@
 
 theory Groebner_Basis
 imports Semiring_Normalization Parity
-keywords "try0" :: diag
 begin
 
 subsection {* Groebner Bases *}
diff -r b48bbd380d59 -r 1b655309617c src/HOL/Presburger.thy
--- a/src/HOL/Presburger.thy	Thu Nov 06 16:10:33 2014 +0100
+++ b/src/HOL/Presburger.thy	Fri Nov 07 15:19:30 2014 +0100
@@ -6,6 +6,7 @@
 
 theory Presburger
 imports Groebner_Basis Set_Interval
+keywords "try0" :: diag
 begin
 
 ML_file "Tools/Qelim/qelim.ML"