| Mon, 22 Apr 2019 09:33:55 +0000 | haftmann | consolidated map2 clones | file | diff | annotate |
| Mon, 22 Apr 2019 06:28:17 +0000 | haftmann | clarified structure of theories | file | diff | annotate |
| Sat, 20 Apr 2019 13:44:16 +0000 | haftmann | clarified notation | file | diff | annotate |
| Tue, 16 Apr 2019 19:50:18 +0000 | haftmann | tuned theory names | file | diff | annotate | base |