--- a/src/HOL/ex/Codegenerator_Candidates.thy Mon Jun 29 12:18:54 2009 +0200
+++ b/src/HOL/ex/Codegenerator_Candidates.thy Mon Jun 29 12:18:55 2009 +0200
@@ -8,7 +8,7 @@
Complex_Main
AssocList
Binomial
- Code_Set
+ Fset
Commutative_Ring
Enum
List_Prefix