equal
deleted
inserted
replaced
117 Tools/ATP/recon_prelim.ML Tools/ATP/recon_order_clauses.ML\ |
117 Tools/ATP/recon_prelim.ML Tools/ATP/recon_order_clauses.ML\ |
118 Tools/ATP/recon_translate_proof.ML Tools/ATP/recon_parse.ML \ |
118 Tools/ATP/recon_translate_proof.ML Tools/ATP/recon_parse.ML \ |
119 Tools/ATP/recon_transfer_proof.ML Tools/ATP/res_clasimpset.ML \ |
119 Tools/ATP/recon_transfer_proof.ML Tools/ATP/res_clasimpset.ML \ |
120 Tools/ATP/VampireCommunication.ML Tools/ATP/SpassCommunication.ML Tools/ATP/modUnix.ML \ |
120 Tools/ATP/VampireCommunication.ML Tools/ATP/SpassCommunication.ML Tools/ATP/modUnix.ML \ |
121 Tools/ATP/watcher.sig Tools/ATP/watcher.ML Tools/res_atp.ML\ |
121 Tools/ATP/watcher.sig Tools/ATP/watcher.ML Tools/res_atp.ML\ |
122 document/root.tex hologic.ML simpdata.ML thy_syntax.ML |
122 ##document/root.tex hologic.ML simpdata.ML thy_syntax.ML |
123 @$(ISATOOL) usedir -b -g true $(HOL_PROOF_OBJECTS) $(OUT)/Pure HOL |
123 @$(ISATOOL) usedir -b -g true $(HOL_PROOF_OBJECTS) $(OUT)/Pure HOL |
124 |
124 |
125 |
125 |
126 ## HOL-Complex-HahnBanach |
126 ## HOL-Complex-HahnBanach |
127 |
127 |