Maximilian Keßler a9e98e25d9 add theorem family options, improve error messages		2022-01-18 21:14:02 +01:00
..
environments/groupthm	add theorem family options, improve error messages	2022-01-18 21:14:02 +01:00
.gitignore	start writing documentation	2022-01-17 12:13:09 +01:00