Thu, 11 Aug 2011 13:26:00 -0700 fixing theorem numbering in sections without subsections
Scott Morrison <scott@tqft.net> [Thu, 11 Aug 2011 13:26:00 -0700] rev 884
fixing theorem numbering in sections without subsections
(0) -300 -100 -30 -10 -1 +1 +10 +30 tip