Maximilian Keßler 808b8c457f add grouped theorem user interface		2022-01-18 02:32:15 +01:00
..
groupthm.dtx	add grouped theorem user interface	2022-01-18 02:32:15 +01:00
groupthm.ins	fix some bugs. add sorting macros	2022-01-17 22:34:53 +01:00
Makefile	fix some bugs. add sorting macros	2022-01-17 22:34:53 +01:00