Wed, 25 Feb 2009 18:53:34 +0100 | berghofe | Added typing and evaluation relations, together with proofs of preservation | changeset | files |
Wed, 25 Feb 2009 11:49:05 +0100 | berghofe | merged | changeset | files |
Wed, 25 Feb 2009 11:20:34 +0100 | berghofe | Use LocalTheory.full_name instead of Sign.full_name, because the latter does | changeset | files |