src/HOL/Metis.thy
changeset 55509 bd67ebe275e0
parent 55178 318cd8ac1817
child 56281 03c3d1a7c3b8
     1.1 --- a/src/HOL/Metis.thy	Sat Feb 15 21:11:29 2014 +0100
     1.2 +++ b/src/HOL/Metis.thy	Sun Feb 16 13:56:48 2014 +0100
     1.3 @@ -8,7 +8,6 @@
     1.4  
     1.5  theory Metis
     1.6  imports ATP
     1.7 -keywords "try0" :: diag
     1.8  begin
     1.9  
    1.10  ML_file "~~/src/Tools/Metis/metis.ML"