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/Tools/Sledgehammer/sledgehammer_prover_atp.ML
changeset 72399 f8900a5ad4a7
parent 71931 0c8a9c028304
child 72400 abfeed05c323
equal deleted inserted replaced
72398:5d1a7b688f6d 72399:f8900a5ad4a7 
    24 structure Sledgehammer_Prover_ATP : SLEDGEHAMMER_PROVER_ATP =
 
    24 structure Sledgehammer_Prover_ATP : SLEDGEHAMMER_PROVER_ATP =
 
    25 struct
 
    25 struct
 
    26 
    26 
    27 open ATP_Util
 
    27 open ATP_Util
 
    28 open ATP_Problem
 
    28 open ATP_Problem
 
       
    29 open ATP_Problem_Generate
 
    29 open ATP_Proof
 
    30 open ATP_Proof
 
    30 open ATP_Problem_Generate
 
       
    31 open ATP_Proof_Reconstruct
 
    31 open ATP_Proof_Reconstruct
 
    32 open ATP_Satallax
 
       
    33 open ATP_Systems
 
    32 open ATP_Systems
 
    34 open Sledgehammer_Util
 
    33 open Sledgehammer_Util
 
    35 open Sledgehammer_Proof_Methods
 
    34 open Sledgehammer_Proof_Methods
 
    36 open Sledgehammer_Isar
 
    35 open Sledgehammer_Isar
 
    37 open Sledgehammer_Prover
 
    36 open Sledgehammer_Prover
isabelle