| Tue, 16 Jan 2007 08:07:00 +0100 | haftmann | introduced binding concept | changeset | files |
| Tue, 16 Jan 2007 08:06:59 +0100 | haftmann | slight cleanup | changeset | files |
| Tue, 16 Jan 2007 08:06:57 +0100 | haftmann | renamed locale partial_order to order | changeset | files |
| Tue, 16 Jan 2007 08:06:55 +0100 | haftmann | refined and added example for ExecutableRat | changeset | files |
| 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 |