3 commits

Author	SHA1	Message	Date
Maximilian Keßler	5c45b89b52	dump	2022-01-19 15:21:30 +01:00
Maximilian Keßler	082c075ebb	document theorem family declarations	2022-01-18 14:45:36 +01:00
Maximilian Keßler	9e00b49279	replace some old syntax with proper macros	2022-01-18 11:28:04 +01:00