more accurate keywords;
authorwenzelm
Fri Nov 07 15:19:30 2014 +0100 (2014-11-07)
changeset 589251b655309617c
parent 58924 b48bbd380d59
child 58926 baf5a3c28f0c
more accurate keywords;
src/HOL/Groebner_Basis.thy
src/HOL/Presburger.thy
     1.1 --- a/src/HOL/Groebner_Basis.thy	Thu Nov 06 16:10:33 2014 +0100
     1.2 +++ b/src/HOL/Groebner_Basis.thy	Fri Nov 07 15:19:30 2014 +0100
     1.3 @@ -6,7 +6,6 @@
     1.4  
     1.5  theory Groebner_Basis
     1.6  imports Semiring_Normalization Parity
     1.7 -keywords "try0" :: diag
     1.8  begin
     1.9  
    1.10  subsection {* Groebner Bases *}
     2.1 --- a/src/HOL/Presburger.thy	Thu Nov 06 16:10:33 2014 +0100
     2.2 +++ b/src/HOL/Presburger.thy	Fri Nov 07 15:19:30 2014 +0100
     2.3 @@ -6,6 +6,7 @@
     2.4  
     2.5  theory Presburger
     2.6  imports Groebner_Basis Set_Interval
     2.7 +keywords "try0" :: diag
     2.8  begin
     2.9  
    2.10  ML_file "Tools/Qelim/qelim.ML"