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