Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Mutabelle/mutabelle_extra.ML
changeset 35092 cfe605c54e50
parent 34974 18b41bba42b5
child 35324 c9f428269b38 
--- a/src/HOL/Mutabelle/mutabelle_extra.ML	Wed Feb 10 14:12:02 2010 +0100
+++ b/src/HOL/Mutabelle/mutabelle_extra.ML	Wed Feb 10 14:12:04 2010 +0100
@@ -197,7 +197,7 @@
   (@{const_name "dummy_pattern"}, "'a::{}") (*,
   (@{const_name "uminus"}, "'a"),
   (@{const_name "Nat.size"}, "'a"),
-  (@{const_name "Algebras.abs"}, "'a") *)]
+  (@{const_name "Groups.abs"}, "'a") *)]
 
 val forbidden_thms =
  ["finite_intvl_succ_class",
isabelle