| Wed, 18 Sep 2013 18:11:32 +0200 | traytel | added two functions to List (one contributed by Manuel Eberl) | changeset | files |
| Wed, 18 Sep 2013 22:59:11 +0200 | panny | generate constructor view theorems | changeset | files |
| Wed, 18 Sep 2013 20:54:46 +0200 | wenzelm | merged; | changeset | files |
| Wed, 18 Sep 2013 20:33:36 +0200 | wenzelm | merged; | changeset | files |