src/HOL/Codegenerator_Test/RBT_Set_Test.thy
2012-07-31 kuncar 2012-07-31 add testing file for RBT_Set