Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/ATP/atp_reconstruct.ML
changeset 43204 ac02112a208e
parent 43200 ca7b0a48515d
child 43212 050a03afe024 
--- a/src/HOL/Tools/ATP/atp_reconstruct.ML	Mon Jun 06 20:36:35 2011 +0200
+++ b/src/HOL/Tools/ATP/atp_reconstruct.ML	Mon Jun 06 20:36:35 2011 +0200
@@ -17,7 +17,6 @@
   datatype reconstructor =
     Metis |
     MetisFT |
-    MetisX |
     SMT of string
 
   datatype play =
@@ -69,7 +68,6 @@
 datatype reconstructor =
   Metis |
   MetisFT |
-  MetisX |
   SMT of string
 
 datatype play =
@@ -255,7 +253,6 @@
 
 fun reconstructor_name Metis = "metis"
   | reconstructor_name MetisFT = "metisFT"
-  | reconstructor_name MetisX = "metisX"
   | reconstructor_name (SMT _) = "smt"
 
 fun reconstructor_settings (SMT settings) = settings
isabelle