Mon, 11 Nov 2019 07:16:17 +0000 | haftmann | tuned order between theories | changeset | files |
Sat, 09 Nov 2019 15:39:21 +0000 | haftmann | bit shifts as class operations | changeset | files |
Sat, 09 Nov 2019 10:38:51 +0000 | haftmann | new lemma | changeset | files |