Tue, 28 Sep 2010 12:47:55 +0200 | haftmann | modernized session | changeset | files |
Tue, 28 Sep 2010 12:34:41 +0200 | krauss | consolidated tupled_lambda; moved to structure HOLogic | changeset | files |
Tue, 28 Sep 2010 12:10:37 +0200 | haftmann | added dependency to base image to ensure that the doc test actually rebuilds the tutorial | changeset | files |
Tue, 28 Sep 2010 09:54:07 +0200 | krauss | no longer declare .psimps rules as [simp]. | changeset | files |
Tue, 28 Sep 2010 09:43:13 +0200 | krauss | added dependency to base images to ensure that the doc test actually rebuilds the tutorials | changeset | files |
Tue, 28 Sep 2010 09:34:20 +0200 | krauss | removed unnecessary reference poking (cf. f45d332a90e3) | changeset | files |
Tue, 28 Sep 2010 09:17:33 +0200 | haftmann | merged | changeset | files |