Thu, 02 Jul 2020 08:49:03 +0000 | haftmann | removed superfluous dependency | file | diff | annotate |
Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | clear separation of types for bits (False / True) and Z2 (0 / 1) | file | diff | annotate |
Mon, 22 Apr 2019 06:28:17 +0000 | haftmann | clarified structure of theories | file | diff | annotate |
Tue, 16 Apr 2019 19:50:05 +0000 | haftmann | prefer one theory for misc material | file | diff | annotate | base |