Tue, 02 Feb 2010 13:22:36 +0100 | wenzelm | minimal tuning of this slightly dated material; | file | diff | annotate |
Thu, 28 Jan 2010 22:38:11 +0100 | wenzelm | formal markup of type aliases; | file | diff | annotate |
Wed, 28 Oct 2009 22:26:00 +0100 | wenzelm | updated Isar.goal; | file | diff | annotate |