--- a/src/HOL/Metis.thy Thu Mar 15 20:07:00 2012 +0100
+++ b/src/HOL/Metis.thy Thu Mar 15 22:08:53 2012 +0100
@@ -8,6 +8,7 @@
theory Metis
imports ATP
+keywords "try0" :: diag
uses "~~/src/Tools/Metis/metis.ML"
("Tools/Metis/metis_generate.ML")
("Tools/Metis/metis_reconstruct.ML")