| Thu, 28 Nov 2013 13:58:11 +0100 | blanchet | cleaned up indirect dependency | changeset | files |
| Thu, 28 Nov 2013 12:04:37 +0100 | nipkow | tuned | changeset | files |
| Thu, 28 Nov 2013 08:35:14 +0100 | haftmann | prefer sort-stripping const_typ over Sign.the_const_type whenever appropriate | changeset | files |
| Thu, 28 Nov 2013 08:34:52 +0100 | haftmann | prefer name-normalizing devarify over unvarifyT whenever appropriate | changeset | files |
| Wed, 27 Nov 2013 15:34:07 +0100 | traytel | some documentation | changeset | files |
| Wed, 27 Nov 2013 15:08:18 +0100 | traytel | command for axiomatic declaration of bnfs---allow theoreticians to fix an arbitrary type with functorial structure and work abstractly on it | changeset | files |
| Wed, 27 Nov 2013 11:08:55 +0100 | Andreas Lochbihler | remove junk | changeset | files |
| Wed, 27 Nov 2013 10:54:44 +0100 | Andreas Lochbihler | revert 4af7c82463d3 and document type class problem in Haskell | changeset | files |