Allow configuration of theorem numbering.
authormdw <mdw>
Sat, 6 Sep 2003 11:25:54 +0000 (11:25 +0000)
committermdw <mdw>
Sat, 6 Sep 2003 11:25:54 +0000 (11:25 +0000)
commit48c669283bcfe3ab1b61b37bced62cd3ef0bc7b5
tree2ddbf233e60ee47fc0db5b8765e68e55b8a90ed0
parent83b69571df4f07673f434e614301ed009e02ad98
Allow configuration of theorem numbering.
mdwthm.dtx