equal
deleted
inserted
replaced
17 ML_file "Tools/Sledgehammer/sledgehammer_fact.ML" |
17 ML_file "Tools/Sledgehammer/sledgehammer_fact.ML" |
18 ML_file "Tools/Sledgehammer/sledgehammer_proof.ML" |
18 ML_file "Tools/Sledgehammer/sledgehammer_proof.ML" |
19 ML_file "Tools/Sledgehammer/sledgehammer_annotate.ML" |
19 ML_file "Tools/Sledgehammer/sledgehammer_annotate.ML" |
20 ML_file "Tools/Sledgehammer/sledgehammer_preplay.ML" |
20 ML_file "Tools/Sledgehammer/sledgehammer_preplay.ML" |
21 ML_file "Tools/Sledgehammer/sledgehammer_compress.ML" |
21 ML_file "Tools/Sledgehammer/sledgehammer_compress.ML" |
22 ML_file "Tools/Sledgehammer/sledgehammer_reconstruct.ML" |
22 ML_file "Tools/Sledgehammer/sledgehammer_reconstruct.ML" |
23 ML_file "Tools/Sledgehammer/sledgehammer_provers.ML" |
23 ML_file "Tools/Sledgehammer/sledgehammer_provers.ML" |
24 ML_file "Tools/Sledgehammer/sledgehammer_minimize.ML" |
24 ML_file "Tools/Sledgehammer/sledgehammer_minimize.ML" |
25 ML_file "Tools/Sledgehammer/sledgehammer_mepo.ML" |
25 ML_file "Tools/Sledgehammer/sledgehammer_mepo.ML" |
26 ML_file "Tools/Sledgehammer/sledgehammer_mash.ML" |
26 ML_file "Tools/Sledgehammer/sledgehammer_mash.ML" |
27 ML_file "Tools/Sledgehammer/sledgehammer_run.ML" |
27 ML_file "Tools/Sledgehammer/sledgehammer_run.ML" |