equal
deleted
inserted
replaced
243 Tools/Metis/metis_reconstruct.ML \ |
243 Tools/Metis/metis_reconstruct.ML \ |
244 Tools/Metis/metis_tactic.ML \ |
244 Tools/Metis/metis_tactic.ML \ |
245 Tools/abel_cancel.ML \ |
245 Tools/abel_cancel.ML \ |
246 Tools/arith_data.ML \ |
246 Tools/arith_data.ML \ |
247 Tools/cnf_funcs.ML \ |
247 Tools/cnf_funcs.ML \ |
248 Tools/dseq.ML \ |
|
249 Tools/enriched_type.ML \ |
248 Tools/enriched_type.ML \ |
250 Tools/inductive.ML \ |
249 Tools/inductive.ML \ |
251 Tools/inductive_realizer.ML \ |
250 Tools/inductive_realizer.ML \ |
252 Tools/inductive_set.ML \ |
251 Tools/inductive_set.ML \ |
253 Tools/lambda_lifting.ML \ |
252 Tools/lambda_lifting.ML \ |