src/HOL/Library/Countable.thy
Mon, 23 Mar 2009 08:14:24 +0100 haftmann Main is (Complex_Main) base entry point in library theories
Sat, 14 Feb 2009 11:10:35 -0800 huffman add lemma surj_from_nat
Thu, 12 Feb 2009 11:04:22 -0800 huffman move countability proof from Rational to Countable; add instance rat :: countable
Tue, 03 Feb 2009 21:26:21 +0100 haftmann handling type classes without parameters
Fri, 16 Jan 2009 14:58:56 +0100 haftmann migrated class package to new locale implementation
Mon, 17 Nov 2008 17:00:55 +0100 haftmann tuned unfold_locales invocation
Mon, 07 Jul 2008 08:47:17 +0200 haftmann absolute imports of HOL/*.thy theories
Thu, 26 Jun 2008 10:07:01 +0200 haftmann established Plain theory and image
Wed, 09 Apr 2008 05:31:04 +0200 huffman fix spelling
Tue, 08 Apr 2008 18:30:40 +0200 krauss Generic conversion and tactic "atomize_elim" to convert elimination rules
Thu, 20 Mar 2008 12:01:12 +0100 haftmann adjusted authorship
Mon, 10 Mar 2008 18:44:20 +0100 huffman instance fun :: (finite, countable) countable
Wed, 27 Feb 2008 21:41:07 +0100 haftmann added theory for countable types
less more (0) tip