52 commits

Author	SHA1	Message	Date
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