| Wed, 20 Dec 2000 12:14:50 +0100 | paulson | generalized the re-orientation 0f 0=... to all types | changeset | files |
| Wed, 20 Dec 2000 12:14:26 +0100 | paulson | tidying, removing obsolete lemmas about 0=... and 1=... | changeset | files |
| Wed, 20 Dec 2000 12:13:59 +0100 | paulson | tidying, removing obsolete lemmas about 0=... | changeset | files |
| Wed, 20 Dec 2000 11:54:58 +0100 | wenzelm | SML90: ord, chr, explode, implode; | changeset | files |
| Tue, 19 Dec 2000 15:24:55 +0100 | paulson | re-orienting equations with #nnn on the lhs | changeset | files |
| 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 |