| Tue, 16 Apr 2019 19:50:05 +0000 | haftmann | prefer one theory for misc material | file | diff | annotate |
| Tue, 16 Apr 2019 19:50:03 +0000 | haftmann | moved instance to appropriate place | file | diff | annotate |
| Thu, 07 Dec 2017 18:44:04 +0000 | haftmann | avoid smt proofs in distribution | file | diff | annotate |
| Wed, 06 Dec 2017 09:11:27 +0100 | nipkow | tuned | file | diff | annotate |
| Mon, 03 Apr 2017 23:12:16 +0200 | wenzelm | misc tuning and modernization; | file | diff | annotate |
| Sat, 17 Dec 2016 15:22:14 +0100 | haftmann | reoriented congruence rules in non-explosive direction | file | diff | annotate |
| Sun, 16 Oct 2016 09:31:06 +0200 | haftmann | eliminated irregular aliasses | file | diff | annotate |