| Mon, 23 Mar 2009 08:14:24 +0100 | haftmann | Main is (Complex_Main) base entry point in library theories | file | diff | annotate |
| Mon, 07 Jul 2008 08:47:17 +0200 | haftmann | absolute imports of HOL/*.thy theories | file | diff | annotate |
| Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
| Tue, 10 Jun 2008 15:31:01 +0200 | haftmann | more instantiation | file | diff | annotate |
| Wed, 27 Feb 2008 18:01:10 +0100 | nipkow | Renamed ListSpace to ListVector | file | diff | annotate |