Maximilian Keßler 0981e3f2d7 adjust first test to also define theorems directly		2022-02-03 14:04:12 +01:00
..
dump.txt	modify tests slightly	2022-02-03 13:11:13 +01:00
Makefile	update gitignore	2021-10-07 18:18:43 +02:00
test2.tex	update test2 to match test2	2022-02-03 13:49:52 +01:00
test.tex	adjust first test to also define theorems directly	2022-02-03 14:04:12 +01:00