Maximilian Keßler 4bb40e16dd commit partial changes (package now broken for sure)		2022-01-17 21:57:47 +01:00
..
groupthm.dtx	commit partial changes (package now broken for sure)	2022-01-17 21:57:47 +01:00
Makefile	document and rework theorem groups	2022-01-17 21:52:22 +01:00