equal
deleted
inserted
replaced
90 Nat.ML Nat.thy NatArith.thy OrderedGroup.ML OrderedGroup.thy \ |
90 Nat.ML Nat.thy NatArith.thy OrderedGroup.ML OrderedGroup.thy \ |
91 Orderings.ML Orderings.thy Power.thy PreList.thy Product_Type.thy \ |
91 Orderings.ML Orderings.thy Power.thy PreList.thy Product_Type.thy \ |
92 ROOT.ML Recdef.thy Reconstruction.thy Record.thy Refute.thy \ |
92 ROOT.ML Recdef.thy Reconstruction.thy Record.thy Refute.thy \ |
93 Relation.ML Relation.thy Relation_Power.thy Ring_and_Field.thy Set.ML \ |
93 Relation.ML Relation.thy Relation_Power.thy Ring_and_Field.thy Set.ML \ |
94 Set.thy SetInterval.thy Sum_Type.thy Tools/ATP/SpassCommunication.ML \ |
94 Set.thy SetInterval.thy Sum_Type.thy Tools/ATP/SpassCommunication.ML \ |
95 Tools/ATP/VampireCommunication.ML \ |
95 Tools/ATP/VampCommunication.ML \ |
96 Tools/ATP/recon_order_clauses.ML Tools/ATP/recon_parse.ML \ |
96 Tools/ATP/recon_order_clauses.ML Tools/ATP/recon_parse.ML \ |
97 Tools/ATP/recon_prelim.ML Tools/ATP/recon_transfer_proof.ML \ |
97 Tools/ATP/recon_prelim.ML Tools/ATP/recon_transfer_proof.ML \ |
98 Tools/ATP/recon_translate_proof.ML Tools/ATP/res_clasimpset.ML \ |
98 Tools/ATP/recon_translate_proof.ML Tools/ATP/res_clasimpset.ML \ |
99 Tools/ATP/watcher.ML Tools/ATP/watcher.sig \ |
99 Tools/ATP/watcher.ML Tools/ATP/watcher.sig \ |
100 Tools/datatype_abs_proofs.ML Tools/datatype_aux.ML \ |
100 Tools/datatype_abs_proofs.ML Tools/datatype_aux.ML \ |