Maximilian Keßler 8e94f452fe add documentation for thmstyle		2022-01-30 15:43:42 +01:00
..
fancythm	consistent naming	2022-01-30 14:38:30 +01:00
groupthm	consistent naming	2022-01-30 14:38:30 +01:00
refproof	document refproof package	2022-01-30 15:25:27 +01:00
thmstyle	add documentation for thmstyle	2022-01-30 15:43:42 +01:00