| Thu, 12 Oct 2000 12:15:23 +0200 | paulson | new theorems mod_eq_0_iff and mod_eqD; also new SD rule | changeset | files |
| Thu, 12 Oct 2000 11:47:17 +0200 | wenzelm | improved exhibit_interrupt; | changeset | files |
| Wed, 11 Oct 2000 19:06:36 +0200 | wenzelm | \isamath and \isatext: more abstract implementation of symbols; | changeset | files |