| Tue, 28 Sep 2010 12:48:05 +0200 | haftmann | merged | changeset | files |
| Tue, 28 Sep 2010 12:47:55 +0200 | haftmann | modernized primrecs | changeset | files |
| 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 |