Maximilian Keßler ef97ef2e78 glue 'name=' key for thmtools differently to not expand name if it contains macros		2022-01-23 17:21:33 +01:00
..
groupthm.dtx	glue 'name=' key for thmtools differently to not expand name if it contains macros	2022-01-23 17:21:33 +01:00
groupthm.ins	fix some bugs. add sorting macros	2022-01-17 22:34:53 +01:00
Makefile	better makefile	2022-01-23 01:27:53 +01:00