Various nips and tucks. Redefine theorem styles from scratch now.
[mdwtools] / at.dtx
2002-02-03 mdwCheckin for new build system.