| Sun, 18 Dec 2016 13:46:57 +0100 | wenzelm | test parallel proof terms in this small session (somewhat slow for bigger applications); | changeset | files |
| Sun, 18 Dec 2016 13:07:13 +0100 | wenzelm | tuned messages -- more symbols; | changeset | files |
| Sun, 18 Dec 2016 12:34:31 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 18 Dec 2016 12:32:20 +0100 | wenzelm | more permissive syntax; | changeset | files |
| Sat, 17 Dec 2016 15:22:14 +0100 | haftmann | reoriented congruence rules in non-explosive direction | changeset | files |
| Sat, 17 Dec 2016 15:22:14 +0100 | haftmann | more fine-grained type class hierarchy for div and mod | changeset | files |