4 commits

Author	SHA1	Message	Date
Maximilian Keßler	34888f7d4c	fix missing spaces in messages. fix wrong cs comparison in new/declare/provide/renew theorem	2022-01-17 23:25:51 +01:00
Maximilian Keßler	a7f5aada19	fix further bugs	2022-01-17 23:19:28 +01:00
Maximilian Keßler	71f6b30bf3	fix some bugs	2022-01-17 22:59:42 +01:00
Maximilian Keßler	3caa51245a	fix some bugs. add sorting macros	2022-01-17 22:34:53 +01:00