Thu, 13 Nov 2014 14:40:06 +0100 | traytel | merged | changeset | files |
Thu, 13 Nov 2014 14:14:13 +0100 | traytel | do not introduce consts too early unnecessarily | changeset | files |
Thu, 13 Nov 2014 12:35:55 +0100 | nipkow | added lemma | changeset | files |