groupthm.dtx
|
add sorting of group names
|
2022-01-18 00:24:04 +01:00 |
groupthm.ins
|
fix some bugs. add sorting macros
|
2022-01-17 22:34:53 +01:00 |
groupthm.sty
|
implement theorem group rules
|
2022-01-18 00:15:02 +01:00 |
Makefile
|
fix some bugs. add sorting macros
|
2022-01-17 22:34:53 +01:00 |