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 |