Commit graph

3 commits

Author SHA1 Message Date
Maximilian Keßler
81bb3c96c8 fix autorefname of theorem in case hyperref is loaded 2021-09-12 17:56:30 +02:00
Maximilian Keßler
fbd35e8111 move proof package into wip since it is not finished 2021-09-12 13:42:24 +02:00
Maximilian Keßler
2074c541a6 move some files into subfolder 2021-09-12 13:38:00 +02:00