| Sun, 06 Sep 2015 22:14:52 +0200 | haftmann | formally regenerated | changeset | files |
| Sun, 06 Sep 2015 22:14:51 +0200 | haftmann | tuned notation, proofs, namespace | changeset | files |
| Sun, 06 Sep 2015 22:14:51 +0200 | haftmann | obsolete: if case_prod is fully applied, it is printed as proper case expression; | changeset | files |