Mercurial Mercurial > repos > isabelle / comparison
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/Sledgehammer.thy
changeset 73418 7d7d959547a1
parent 72593 914f1f98839c
child 73684 a63d76ba0a03
equal deleted inserted replaced
73417:1dcc2b228b8b 73418:7d7d959547a1 
    11 keywords
 
    11 keywords
 
    12   "sledgehammer" :: diag and
 
    12   "sledgehammer" :: diag and
 
    13   "sledgehammer_params" :: thy_decl
 
    13   "sledgehammer_params" :: thy_decl
 
    14 begin
 
    14 begin
 
    15 
    15 
       
    16 ML_file \<open>Tools/ATP/system_on_tptp.ML\<close>
 
    16 ML_file \<open>Tools/Sledgehammer/async_manager_legacy.ML\<close>
 
    17 ML_file \<open>Tools/Sledgehammer/async_manager_legacy.ML\<close>
 
    17 ML_file \<open>Tools/Sledgehammer/sledgehammer_util.ML\<close>
 
    18 ML_file \<open>Tools/Sledgehammer/sledgehammer_util.ML\<close>
 
    18 ML_file \<open>Tools/Sledgehammer/sledgehammer_fact.ML\<close>
 
    19 ML_file \<open>Tools/Sledgehammer/sledgehammer_fact.ML\<close>
 
    19 ML_file \<open>Tools/Sledgehammer/sledgehammer_proof_methods.ML\<close>
 
    20 ML_file \<open>Tools/Sledgehammer/sledgehammer_proof_methods.ML\<close>
 
    20 ML_file \<open>Tools/Sledgehammer/sledgehammer_isar_annotate.ML\<close>
 
    21 ML_file \<open>Tools/Sledgehammer/sledgehammer_isar_annotate.ML\<close>
isabelle