equal
deleted
inserted
replaced
23 "Tools/ATP/VampireCommunication.ML" |
23 "Tools/ATP/VampireCommunication.ML" |
24 "Tools/ATP/SpassCommunication.ML" |
24 "Tools/ATP/SpassCommunication.ML" |
25 "Tools/ATP/modUnix.ML" |
25 "Tools/ATP/modUnix.ML" |
26 "Tools/ATP/watcher.sig" |
26 "Tools/ATP/watcher.sig" |
27 "Tools/ATP/watcher.ML" |
27 "Tools/ATP/watcher.ML" |
|
28 "Tools/ATP/res_clasimpset.ML" |
28 "Tools/res_atp.ML" |
29 "Tools/res_atp.ML" |
29 |
30 |
30 "Tools/reconstruction.ML" |
31 "Tools/reconstruction.ML" |
31 |
32 |
32 begin |
33 begin |