changeset 49310 | 6e30078de4f0 |
parent 48979 | b62d14275b89 |
child 49314 | f252c7c2ac7b |
--- a/src/HOL/Codatatype/Countable_Set.thy Wed Sep 12 05:21:47 2012 +0200 +++ b/src/HOL/Codatatype/Countable_Set.thy Wed Sep 12 05:29:21 2012 +0200 @@ -8,7 +8,7 @@ header {* (At Most) Countable Sets *} theory Countable_Set -imports "../Ordinals_and_Cardinals/Cardinal_Arithmetic" "~~/src/HOL/Library/Countable" +imports "../Cardinal_Arithmetic" "~~/src/HOL/Library/Countable" begin