Tue, 02 Sep 2008 14:10:45 +0200 | wenzelm | explicit type Name.binding for higher-specification elements; | 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 |
Wed, 07 May 2008 10:57:19 +0200 | berghofe | Adapted to encoding of sets as predicates | file | diff | annotate |
Thu, 28 Feb 2008 16:54:56 +0100 | haftmann | import all 'special code' types | file | diff | annotate |
Wed, 27 Feb 2008 21:41:06 +0100 | haftmann | added theory for reflected types | file | diff | annotate |