| Thu, 07 Jul 2011 21:53:53 +0200 | nipkow | added translation to fix critical pair between abbreviations for surj and ~= | changeset | files |
| Thu, 07 Jul 2011 23:33:14 +0200 | bulwahn | floor and ceiling definitions are not code equations -- this enables trivial evaluation of floor and ceiling | changeset | files |