| Tue, 16 Jan 2007 08:06:52 +0100 | haftmann | updated keywords | changeset | files |
| Mon, 15 Jan 2007 10:15:55 +0100 | krauss | added sections on mutual induction and patterns | changeset | files |
| Sun, 14 Jan 2007 09:57:29 +0100 | paulson | optimized translation of HO problems | changeset | files |
| Fri, 12 Jan 2007 15:37:21 +0100 | ballarin | Reverted to structure representation with records. | changeset | files |