| Fri, 27 Sep 2013 21:54:55 +0200 | kuncar | tuned names | changeset | files |
| Fri, 27 Sep 2013 21:54:55 +0200 | kuncar | fold and lemmas about cardinality | changeset | files |
| Fri, 27 Sep 2013 21:04:57 +0200 | wenzelm | more robust parser: 'imports' are mandatory except for bootstrapping Pure; | changeset | files |
| Fri, 27 Sep 2013 20:13:35 +0200 | blanchet | one more unfolding necessary | changeset | files |