--- a/src/HOL/Mutabelle/mutabelle_extra.ML Mon Aug 08 08:55:49 2011 -0700
+++ b/src/HOL/Mutabelle/mutabelle_extra.ML Mon Aug 08 09:52:09 2011 -0700
@@ -285,7 +285,7 @@
(@{const_name "Groups.plus_class.plus"}, @{typ "prop => prop => prop"}),
(@{const_name "Groups.minus_class.minus"}, @{typ "prop => prop => prop"}),
(@{const_name "Groups.times_class.times"}, @{typ "prop => prop => prop"}),
- (@{const_name "Rings.inverse_class.divide"}, @{typ "prop => prop => prop"}),
+ (@{const_name "Fields.inverse_class.divide"}, @{typ "prop => prop => prop"}),
(@{const_name "Lattices.semilattice_inf_class.inf"}, @{typ "prop => prop => prop"}),
(@{const_name "Lattices.semilattice_sup_class.sup"}, @{typ "prop => prop => prop"}),
(@{const_name "Orderings.bot_class.bot"}, @{typ "prop => prop => prop"}),