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