/src/HOL/Tools/Sledgehammer/
drwxr-xr-x [up]
drwxr-xr-x MaSh
-rw-r--r-- 2014-06-02 17:34 +0200 9537 async_manager.ML
-rw-r--r-- 2014-06-02 17:34 +0200 11257 sledgehammer.ML
-rw-r--r-- 2014-06-02 17:34 +0200 19200 sledgehammer_commands.ML
-rw-r--r-- 2014-06-02 17:34 +0200 21946 sledgehammer_fact.ML
-rw-r--r-- 2014-06-02 17:34 +0200 15927 sledgehammer_isar.ML
-rw-r--r-- 2014-06-02 17:34 +0200 6722 sledgehammer_isar_annotate.ML
-rw-r--r-- 2014-06-02 17:34 +0200 12407 sledgehammer_isar_compress.ML
-rw-r--r-- 2014-06-02 17:34 +0200 3869 sledgehammer_isar_minimize.ML
-rw-r--r-- 2014-06-02 17:34 +0200 8329 sledgehammer_isar_preplay.ML
-rw-r--r-- 2014-06-02 17:34 +0200 12676 sledgehammer_isar_proof.ML
-rw-r--r-- 2014-06-02 17:34 +0200 65041 sledgehammer_mash.ML
-rw-r--r-- 2014-06-02 17:34 +0200 22791 sledgehammer_mepo.ML
-rw-r--r-- 2014-06-02 17:34 +0200 6135 sledgehammer_proof_methods.ML
-rw-r--r-- 2014-06-02 17:34 +0200 10700 sledgehammer_prover.ML
-rw-r--r-- 2014-06-02 17:34 +0200 17980 sledgehammer_prover_atp.ML
-rw-r--r-- 2014-06-02 17:34 +0200 17735 sledgehammer_prover_minimize.ML
-rw-r--r-- 2014-06-02 17:34 +0200 10596 sledgehammer_prover_smt.ML
-rw-r--r-- 2014-06-02 17:34 +0200 11784 sledgehammer_prover_smt2.ML
-rw-r--r-- 2014-06-02 17:34 +0200 5374 sledgehammer_util.ML