Various nips and tucks. Redefine theorem styles from scratch now.
authormdw <mdw>
Fri, 5 Sep 2003 16:16:20 +0000 (16:16 +0000)
committermdw <mdw>
Fri, 5 Sep 2003 16:16:20 +0000 (16:16 +0000)
commitfe474f79ee06f9b78a1875cbf7e633c0b1313643
tree396db6a2ab689d3cf1e7e4037dd649b31ca1ccaa
parent21d3670d0db0796c709a9bca94a80ca4a9848b6f
Various nips and tucks.  Redefine theorem styles from scratch now.
mdwthm.dtx