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 55205 8450622db0c5
parent 55202 824c48a539c9
child 55211 5d027af93a08
equal deleted inserted replaced
55203:e872d196a73b 55205:8450622db0c5 
    25 ML_file "Tools/Sledgehammer/sledgehammer_isar_compress.ML"
 
    25 ML_file "Tools/Sledgehammer/sledgehammer_isar_compress.ML"
 
    26 ML_file "Tools/Sledgehammer/sledgehammer_isar_try0.ML"
 
    26 ML_file "Tools/Sledgehammer/sledgehammer_isar_try0.ML"
 
    27 ML_file "Tools/Sledgehammer/sledgehammer_isar_minimize.ML"
 
    27 ML_file "Tools/Sledgehammer/sledgehammer_isar_minimize.ML"
 
    28 ML_file "Tools/Sledgehammer/sledgehammer_isar.ML"
 
    28 ML_file "Tools/Sledgehammer/sledgehammer_isar.ML"
 
    29 ML_file "Tools/Sledgehammer/sledgehammer_prover.ML"
 
    29 ML_file "Tools/Sledgehammer/sledgehammer_prover.ML"
 
       
    30 ML_file "Tools/Sledgehammer/sledgehammer_prover_atp.ML"
 
       
    31 ML_file "Tools/Sledgehammer/sledgehammer_prover_smt.ML"
 
    30 ML_file "Tools/Sledgehammer/sledgehammer_prover_minimize.ML"
 
    32 ML_file "Tools/Sledgehammer/sledgehammer_prover_minimize.ML"
 
    31 ML_file "Tools/Sledgehammer/sledgehammer_mepo.ML"
 
    33 ML_file "Tools/Sledgehammer/sledgehammer_mepo.ML"
 
    32 ML_file "Tools/Sledgehammer/sledgehammer_mash.ML"
 
    34 ML_file "Tools/Sledgehammer/sledgehammer_mash.ML"
 
    33 ML_file "Tools/Sledgehammer/sledgehammer.ML"
 
    35 ML_file "Tools/Sledgehammer/sledgehammer.ML"
 
    34 ML_file "Tools/Sledgehammer/sledgehammer_commands.ML"
 
    36 ML_file "Tools/Sledgehammer/sledgehammer_commands.ML"
isabelle