changeset 35644 | d20cf282342e |
parent 35631 | 0b8a5fd339ab |
child 36722 | c8ea75ea4a29 |
--- a/src/HOL/Parity.thy Sun Mar 07 17:33:01 2010 -0800 +++ b/src/HOL/Parity.thy Mon Mar 08 09:38:58 2010 +0100 @@ -32,7 +32,7 @@ "even (int x) \<longleftrightarrow> even x" by (simp add: even_nat_def) -declare TransferMorphism_int_nat[transfer add return: +declare transfer_morphism_int_nat[transfer add return: transfer_int_nat_relations ]