| Sat, 27 Jul 2013 16:44:40 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 27 Jul 2013 16:35:51 +0200 | wenzelm | standardized aliases; | changeset | files |
| Thu, 25 Jul 2013 16:46:53 +0200 | traytel | transfer rule for {c,d}tor_{,un}fold | changeset | files |
| Thu, 25 Jul 2013 12:25:07 +0200 | traytel | two useful relation theorems | changeset | files |
| 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 |