equal
deleted
inserted
replaced
207 Tools/nat_arith.ML \ |
207 Tools/nat_arith.ML \ |
208 Tools/old_primrec.ML \ |
208 Tools/old_primrec.ML \ |
209 Tools/primrec.ML \ |
209 Tools/primrec.ML \ |
210 Tools/prop_logic.ML \ |
210 Tools/prop_logic.ML \ |
211 Tools/refute.ML \ |
211 Tools/refute.ML \ |
212 Tools/refute_isar.ML \ |
|
213 Tools/rewrite_hol_proof.ML \ |
212 Tools/rewrite_hol_proof.ML \ |
214 Tools/sat_funcs.ML \ |
213 Tools/sat_funcs.ML \ |
215 Tools/sat_solver.ML \ |
214 Tools/sat_solver.ML \ |
216 Tools/split_rule.ML \ |
215 Tools/split_rule.ML \ |
217 Tools/try.ML \ |
216 Tools/try.ML \ |