/src/HOL/Tools/Sledgehammer/
drwxr-xr-x [up]
drwxr-xr-x MaSh
-rw-r--r-- 2014-01-02 19:07 +0100 9539 async_manager.ML
-rw-r--r-- 2014-01-02 19:07 +0100 7256 sledgehammer_annotate.ML
-rw-r--r-- 2014-01-02 19:07 +0100 12309 sledgehammer_compress.ML
-rw-r--r-- 2014-01-02 19:07 +0100 21933 sledgehammer_fact.ML
-rw-r--r-- 2014-01-02 19:07 +0100 19125 sledgehammer_isar.ML
-rw-r--r-- 2014-01-02 19:07 +0100 53020 sledgehammer_mash.ML
-rw-r--r-- 2014-01-02 19:07 +0100 23790 sledgehammer_mepo.ML
-rw-r--r-- 2014-01-02 19:07 +0100 14829 sledgehammer_minimize.ML
-rw-r--r-- 2014-01-02 19:07 +0100 3395 sledgehammer_minimize_isar.ML
-rw-r--r-- 2014-01-02 19:07 +0100 9371 sledgehammer_preplay.ML
-rw-r--r-- 2014-01-02 19:07 +0100 9099 sledgehammer_print.ML
-rw-r--r-- 2014-01-02 19:07 +0100 5080 sledgehammer_proof.ML
-rw-r--r-- 2014-01-02 19:07 +0100 43800 sledgehammer_provers.ML
-rw-r--r-- 2014-01-02 19:07 +0100 16994 sledgehammer_reconstruct.ML
-rw-r--r-- 2014-01-02 19:07 +0100 1466 sledgehammer_reconstructor.ML
-rw-r--r-- 2014-01-02 19:07 +0100 11866 sledgehammer_run.ML
-rw-r--r-- 2014-01-02 19:07 +0100 1691 sledgehammer_try0.ML
-rw-r--r-- 2014-01-02 19:07 +0100 6013 sledgehammer_util.ML