| Wed, 03 Jul 2013 15:19:36 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 03 Jul 2013 15:11:15 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 03 Jul 2013 20:41:41 +0200 | traytel | use long goal format in rel_induct theorem | changeset | files |
| Wed, 03 Jul 2013 16:53:27 +0200 | traytel | share some code between codatatypes, datatypes and eventually prim(co)rec | changeset | files |
| Wed, 03 Jul 2013 16:07:00 +0200 | nipkow | tuned names | changeset | files |
| Tue, 02 Jul 2013 20:47:32 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 02 Jul 2013 19:25:33 +0200 | wenzelm | allow choice of target directory (again, see also 58e2d0cd81ae); | changeset | files |