changeset 35267 | 8dfd816713c6 |
parent 35092 | cfe605c54e50 |
child 36610 | bafd82950e24 |
--- a/src/HOL/Mutabelle/Mutabelle.thy Fri Feb 19 14:47:00 2010 +0100 +++ b/src/HOL/Mutabelle/Mutabelle.thy Fri Feb 19 14:47:01 2010 +0100 @@ -14,7 +14,7 @@ (@{const_name HOL.undefined}, "'a"), (@{const_name HOL.default}, "'a"), (@{const_name dummy_pattern}, "'a::{}"), - (@{const_name Algebras.uminus}, "'a"), + (@{const_name Groups.uminus}, "'a"), (@{const_name Nat.size}, "'a"), (@{const_name Groups.abs}, "'a")];