eliminated odd dislocation of keyword declaration and implementation (leftover from 318cd8ac1817)
authorhaftmann
Sun Feb 16 13:56:48 2014 +0100 (2014-02-16)
changeset 55509bd67ebe275e0
parent 55508 90c42b130652
child 55517 a3870c12f254
eliminated odd dislocation of keyword declaration and implementation (leftover from 318cd8ac1817)
src/HOL/Groebner_Basis.thy
src/HOL/Metis.thy
     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 *}
     2.1 --- a/src/HOL/Metis.thy	Sat Feb 15 21:11:29 2014 +0100
     2.2 +++ b/src/HOL/Metis.thy	Sun Feb 16 13:56:48 2014 +0100
     2.3 @@ -8,7 +8,6 @@
     2.4  
     2.5  theory Metis
     2.6  imports ATP
     2.7 -keywords "try0" :: diag
     2.8  begin
     2.9  
    2.10  ML_file "~~/src/Tools/Metis/metis.ML"