equal
deleted
inserted
replaced
17 "Tools/ATP/recon_parse.ML" |
17 "Tools/ATP/recon_parse.ML" |
18 "Tools/ATP/recon_transfer_proof.ML" |
18 "Tools/ATP/recon_transfer_proof.ML" |
19 "Tools/ATP/AtpCommunication.ML" |
19 "Tools/ATP/AtpCommunication.ML" |
20 "Tools/ATP/watcher.ML" |
20 "Tools/ATP/watcher.ML" |
21 "Tools/ATP/reduce_axiomsN.ML" |
21 "Tools/ATP/reduce_axiomsN.ML" |
22 "Tools/ATP/res_clasimpset.ML" |
|
23 "Tools/res_atp.ML" |
22 "Tools/res_atp.ML" |
24 "Tools/reconstruction.ML" |
23 "Tools/reconstruction.ML" |
25 |
24 |
26 begin |
25 begin |
27 |
26 |