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