Mon, 19 May 2014 09:35:35 +0200 | desharna | fix 'set_empty' theorem when the discriminator is 'op =' | changeset | files |
Sun, 18 May 2014 20:29:04 +0200 | nipkow | typos | changeset | files |
Sun, 18 May 2014 17:01:37 +0200 | wenzelm | tuned comments; | changeset | files |