src/HOL/Library/Countable.thy
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