src/HOL/Groebner_Basis.thy
changeset 55509 bd67ebe275e0
parent 55178 318cd8ac1817
child 56850 13a7bca533a3
     1.1 --- a/src/HOL/Groebner_Basis.thy	Sat Feb 15 21:11:29 2014 +0100
     1.2 +++ b/src/HOL/Groebner_Basis.thy	Sun Feb 16 13:56:48 2014 +0100
     1.3 @@ -6,6 +6,7 @@
     1.4  
     1.5  theory Groebner_Basis
     1.6  imports Semiring_Normalization
     1.7 +keywords "try0" :: diag
     1.8  begin
     1.9  
    1.10  subsection {* Groebner Bases *}