src/HOL/Library/Countable.thy
2009-11-12 hoelzl 2009-11-12 Remove map_compose, replaced by map_map
2009-07-12 nipkow 2009-07-12 More about gcd/lcm, and some cleaning up
2009-03-23 haftmann 2009-03-23 Main is (Complex_Main) base entry point in library theories
2009-02-14 huffman 2009-02-14 add lemma surj_from_nat
2009-02-12 huffman 2009-02-12 move countability proof from Rational to Countable; add instance rat :: countable
2009-02-03 haftmann 2009-02-03 handling type classes without parameters
2009-01-16 haftmann 2009-01-16 migrated class package to new locale implementation
2008-11-17 haftmann 2008-11-17 tuned unfold_locales invocation
2008-07-07 haftmann 2008-07-07 absolute imports of HOL/*.thy theories
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2008-04-09 huffman 2008-04-09 fix spelling
2008-04-08 krauss 2008-04-08 Generic conversion and tactic "atomize_elim" to convert elimination rules to the object logic
2008-03-20 haftmann 2008-03-20 adjusted authorship
2008-03-10 huffman 2008-03-10 instance fun :: (finite, countable) countable
2008-02-27 haftmann 2008-02-27 added theory for countable types