| 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 |
| Tue, 02 Jul 2013 17:10:44 +0200 | wenzelm | postinstall: recover Cygwin permissions; | changeset | files |
| Tue, 02 Jul 2013 15:30:53 +0200 | wenzelm | clarified initial cd; | changeset | files |