| Wed, 24 Apr 2013 11:06:53 +0200 | traytel | slightly more aggressive syntax translation for printing case expressions | changeset | files |
| Wed, 24 Apr 2013 11:32:54 +0200 | haftmann | avoid odd reinit after sublocale declaration | changeset | files |
| Wed, 24 Apr 2013 10:23:47 +0200 | nipkow | moved defs into locale to reduce unnecessary polymorphism; tuned | changeset | files |
| Tue, 23 Apr 2013 19:40:33 +0200 | haftmann | dropped dead code | changeset | files |
| Tue, 23 Apr 2013 19:31:24 +0200 | haftmann | documentation and NEWS | changeset | files |
| Tue, 23 Apr 2013 17:46:12 +0200 | blanchet | avoid accidental specialization of the types in the "map" property of codatatypes | changeset | files |
| Tue, 23 Apr 2013 17:15:44 +0200 | blanchet | simplify "Inl () = Inr ()" as well (not entirely clear why this is necessary) | changeset | files |