3 commits

Author	SHA1	Message	Date
Maximilian Keßler	3caa51245a	fix some bugs. add sorting macros	2022-01-17 22:34:53 +01:00
Maximilian Keßler	6976cec905	document and rework theorem groups	2022-01-17 21:52:22 +01:00
Maximilian Keßler	453471eb88	add makefile	2022-01-17 17:06:18 +01:00