Mon, 17 Apr 2017 07:44:21 +0200 | haftmann | consistent session name | changeset | files |
Sun, 16 Apr 2017 15:30:03 +0200 | haftmann | more rules concerning of_nat, of_int, numeral | changeset | files |
Thu, 13 Apr 2017 10:10:12 +0200 | haftmann | for generated Haskell code, never use let-binds with pattern matching: irrefutable patterns destroy partial correctness | changeset | files |