src/HOL/Enum.thy
2010-11-22 bulwahn 2010-11-22 moving Enum theory from HOL/Library to HOL