Tue, 19 Dec 2000 15:20:23 +0100 | paulson | re-orienting equations with 0, 1, 2 on the lhs | changeset | files |
Tue, 19 Dec 2000 15:19:12 +0100 | paulson | new file extract_common_term.ML for the cancel-factor simprocs | changeset | files |
Tue, 19 Dec 2000 15:17:53 +0100 | paulson | inserting the simproc nat_cancel_factor | changeset | files |
Tue, 19 Dec 2000 15:17:21 +0100 | paulson | inserting the simproc int_cancel_factor | changeset | files |
Tue, 19 Dec 2000 15:16:21 +0100 | paulson | new simprule zero_less_abs_iff | changeset | files |
Tue, 19 Dec 2000 15:15:43 +0100 | paulson | coping with the re-orientation of #nn=x | changeset | files |