--- a/src/HOL/Mutabelle/mutabelle_extra.ML Thu Sep 08 08:41:28 2011 -0700
+++ b/src/HOL/Mutabelle/mutabelle_extra.ML Fri Sep 09 00:22:18 2011 +0200
@@ -286,8 +286,8 @@
(@{const_name "Groups.minus_class.minus"}, @{typ "prop => prop => prop"}),
(@{const_name "Groups.times_class.times"}, @{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 "Lattices.inf_class.inf"}, @{typ "prop => prop => prop"}),
+ (@{const_name "Lattices.sup_class.sup"}, @{typ "prop => prop => prop"}),
(@{const_name "Orderings.bot_class.bot"}, @{typ "prop => prop => prop"}),
(@{const_name "Orderings.ord_class.min"}, @{typ "prop => prop => prop"}),
(@{const_name "Orderings.ord_class.max"}, @{typ "prop => prop => prop"}),