| Thu, 25 Jul 2013 08:57:16 +0200 | haftmann | factored syntactic type classes for bot and top (by Alessandro Coglio) | changeset | files |
| Wed, 24 Jul 2013 17:15:59 +0200 | krauss | derive specialized version of full fixpoint induction (with admissibility) | changeset | files |
| Wed, 24 Jul 2013 15:29:23 +0200 | krauss | export mono_thm | changeset | files |
| Wed, 24 Jul 2013 22:54:47 +0200 | nipkow | merged Def_Init_Sound_X into Def_Init_X | changeset | files |