From: mdw <mdw>
Date: Fri, 5 Sep 2003 16:16:20 +0000 (+0000)
Subject: Various nips and tucks.  Redefine theorem styles from scratch now.
X-Git-Tag: 1.7.0~1
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/mdwtools/commitdiff_plain/fe474f79ee06f9b78a1875cbf7e633c0b1313643?hp=fe474f79ee06f9b78a1875cbf7e633c0b1313643

Various nips and tucks.  Redefine theorem styles from scratch now.
---