53 commits

Author	SHA1	Message	Date
Maximilian Keßler	4bb40e16dd	commit partial changes (package now broken for sure)	2022-01-17 21:57:47 +01:00
Maximilian Keßler	6976cec905	document and rework theorem groups	2022-01-17 21:52:22 +01:00
Maximilian Keßler	0029010926	convert to (broken) .dtx file	2022-01-17 16:43:52 +01:00