Thu, 20 Sep 2007 16:37:31 +0200 | haftmann | more permissive | changeset | files |
Thu, 20 Sep 2007 16:37:30 +0200 | haftmann | clarified code lemmas | changeset | files |
Thu, 20 Sep 2007 16:37:29 +0200 | haftmann | fixed wrong syntax treatment in class target | changeset | files |