src/HOL/Codegenerator_Test/RBT_Set_Test.thy
2013-02-14 Andreas Lochbihler 2013-02-14 implement code generation for finite, card, op = and op <= for sets always via finite_UNIV and card_UNIV, as fragile rewrites based on sorts are hard to find and debug
2013-01-15 kuncar 2013-01-15 restore code equations for List.set in RBT_Set; make Scala happy according to 7.1 in the code generator manual
2012-10-20 haftmann 2012-10-20 moved quite generic material from theory Enum to more appropriate places
2012-07-31 kuncar 2012-07-31 add testing file for RBT_Set