| Wed, 14 Jul 2021 10:02:43 +0200 | blanchet | correctly translate constructor argument in 'primrec' | changeset | files |
| Tue, 13 Jul 2021 15:25:53 +0100 | paulson | simplified a few proofs | changeset | files |
| Tue, 13 Jul 2021 10:57:15 +0200 | blanchet | revisited ac28714b7478: more faithful preplaying with chained facts | changeset | files |
| Tue, 13 Jul 2021 10:57:14 +0200 | blanchet | wait for E 2.7 before using 'ite' in HO mode | changeset | files |
| Tue, 13 Jul 2021 10:57:14 +0200 | blanchet | added alternative E binary name | changeset | files |
| Mon, 12 Jul 2021 16:30:17 +0200 | blanchet | parse logical operators in the right order w.r.t. backtracking | changeset | files |
| Mon, 12 Jul 2021 16:30:16 +0200 | blanchet | improved warning | changeset | files |