Wed, 17 Jan 2007 09:52:06 +0100 | paulson | Streamlining: removing the type argument of CombApp; abbreviating ResClause as RC | changeset | files |
Tue, 16 Jan 2007 14:11:25 +0100 | urbanc | fixed typo introduced by me | changeset | files |
Tue, 16 Jan 2007 14:10:27 +0100 | haftmann | changed dictionary representation to explicit classrel witnesses | changeset | files |
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 |