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 |
Fri, 23 May 2008 16:05:02 +0200 | haftmann | added code for quantifiers | file | diff | annotate |
Wed, 07 May 2008 10:59:27 +0200 | berghofe | Deleted instantiation "set :: (enum) enum" | file | diff | annotate |
Tue, 22 Apr 2008 08:33:16 +0200 | haftmann | constant HOL.eq now qualified | file | diff | annotate |
Wed, 02 Apr 2008 15:58:32 +0200 | haftmann | explicit class "eq" for operational equality | file | diff | annotate |
Thu, 27 Mar 2008 19:04:38 +0100 | haftmann | instance for functions, explicit characters | file | diff | annotate |
Thu, 20 Mar 2008 12:01:10 +0100 | haftmann | added theory Library/Enum.thy | file | diff | annotate |