| Tue, 16 Jan 2007 14:10:26 +0100 | haftmann | reverted order of classrels | changeset | files |
| Tue, 16 Jan 2007 14:10:24 +0100 | haftmann | cleanup | changeset | files |
| Tue, 16 Jan 2007 13:59:08 +0100 | urbanc | formalisation of Crary's chapter on logical relations | changeset | files |
| Tue, 16 Jan 2007 10:25:38 +0100 | urbanc | added capabilities to handle mutual inductions | changeset | files |
| Tue, 16 Jan 2007 08:12:09 +0100 | haftmann | refined and added example for ExecutableRat | changeset | files |
| 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 |