--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_data.ML Fri Feb 19 14:47:00 2010 +0100
+++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_data.ML Fri Feb 19 14:47:01 2010 +0100
@@ -224,8 +224,8 @@
@{const_name Suc}, @{const_name Nat.zero_nat_inst.zero_nat},
@{const_name Nat.one_nat_inst.one_nat},
@{const_name Orderings.less}, @{const_name Orderings.less_eq},
- @{const_name Algebras.zero},
- @{const_name Algebras.one}, @{const_name Algebras.plus},
+ @{const_name Groups.zero},
+ @{const_name Groups.one}, @{const_name Groups.plus},
@{const_name Nat.ord_nat_inst.less_eq_nat},
@{const_name Nat.ord_nat_inst.less_nat},
@{const_name number_nat_inst.number_of_nat},