Maximilian Keßler eb06eb8fbc provide proper proofdepth macro. fix subproof		2022-01-10 00:31:26 +01:00
..
Makefile	update gitignore	2021-10-07 18:18:43 +02:00
test.tex	provide proper proofdepth macro. fix subproof	2022-01-10 00:31:26 +01:00