| Tue, 13 Jul 1999 10:43:31 +0200 | paulson | new theorem zmult_eq_0_iff | changeset | files |
| Tue, 13 Jul 1999 10:42:31 +0200 | paulson | renamed sort "numeral" to "number" | changeset | files |
| Tue, 13 Jul 1999 10:41:59 +0200 | paulson | simplified the <= monotonicity proof | changeset | files |
| Mon, 12 Jul 1999 22:29:38 +0200 | wenzelm | local qeds: print rule; | changeset | files |
| Mon, 12 Jul 1999 22:29:17 +0200 | wenzelm | added show_hyps flag; | changeset | files |
| Mon, 12 Jul 1999 22:28:56 +0200 | wenzelm | local qed; print rule; | changeset | files |
| Mon, 12 Jul 1999 22:28:38 +0200 | wenzelm | term/prop: include number; | changeset | files |
| Mon, 12 Jul 1999 22:27:51 +0200 | wenzelm | added show_hyps flag; | changeset | files |