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)

No differences found