|
|
5bf0c39cc7
|
better makefile
|
2022-01-23 01:27:53 +01:00 |
|
|
|
08323fdf48
|
implement new define aux command to better generate variants with new, declare, provide and renew
|
2022-01-20 15:25:31 +01:00 |
|
|
|
b514de5e09
|
better makefile
|
2022-01-20 12:07:35 +01:00 |
|
|
|
3caa51245a
|
fix some bugs. add sorting macros
|
2022-01-17 22:34:53 +01:00 |
|
|
|
6976cec905
|
document and rework theorem groups
|
2022-01-17 21:52:22 +01:00 |
|
|
|
453471eb88
|
add makefile
|
2022-01-17 17:06:18 +01:00 |
|
