src/HOL/Codatatype/Countable_Set.thy
2012-09-12 blanchet 2012-09-12 reduced theory dependencies
2012-09-12 blanchet 2012-09-12 renamed "Ordinals_and_Cardinals" to "Cardinals"
2012-08-28 blanchet 2012-08-28 fixed import paths
2012-08-28 blanchet 2012-08-28 added new (co)datatype package + theories of ordinals and cardinals (with Dmitriy and Andrei)