Thu, 14 Jul 2011 22:08:11 +0200 | krauss | added missing dependencies; | changeset | files |
Thu, 14 Jul 2011 19:43:45 +0200 | haftmann | merged | changeset | files |
Thu, 14 Jul 2011 17:15:24 +0200 | haftmann | merged | changeset | files |
Thu, 14 Jul 2011 17:14:54 +0200 | haftmann | tuned notation and proofs | changeset | files |
Thu, 14 Jul 2011 17:29:30 +0200 | blanchet | move error logic closer to user | changeset | files |
Thu, 14 Jul 2011 17:29:30 +0200 | blanchet | allow lambda-lifting without triggers | changeset | files |