2010-07-05 ago tuned proof
2010-07-01 ago "prod" and "sum" replace "*" and "+" respectively
2010-06-30 ago added literal and typerep instances
2010-06-08 ago tuned quotes, antiquotations and whitespace
2010-03-10 ago new theory Library/Nat_Bijection.thy
2010-02-26 ago adjusted to cs. e4a7947e02b8
2009-11-12 ago Remove map_compose, replaced by map_map
2009-07-12 ago More about gcd/lcm, and some cleaning up
2009-03-23 ago Main is (Complex_Main) base entry point in library theories
2009-02-14 ago add lemma surj_from_nat
2009-02-12 ago move countability proof from Rational to Countable; add instance rat :: countable
2009-02-03 ago handling type classes without parameters
2009-01-16 ago migrated class package to new locale implementation
2008-11-17 ago tuned unfold_locales invocation
2008-07-07 ago absolute imports of HOL/*.thy theories
2008-06-26 ago established Plain theory and image
2008-04-09 ago fix spelling
2008-04-08 ago Generic conversion and tactic "atomize_elim" to convert elimination rules
2008-03-20 ago adjusted authorship
2008-03-10 ago instance fun :: (finite, countable) countable
2008-02-27 ago added theory for countable types