src/HOL/Library/Parity.thy
changeset 22473 753123c89d72
parent 22390 378f34b1e380
child 23309 678ee30499d2
     1.1 --- a/src/HOL/Library/Parity.thy	Mon Mar 19 19:28:27 2007 +0100
     1.2 +++ b/src/HOL/Library/Parity.thy	Tue Mar 20 08:27:15 2007 +0100
     1.3 @@ -9,7 +9,7 @@
     1.4  imports Main
     1.5  begin
     1.6  
     1.7 -class even_odd =
     1.8 +class even_odd = type + 
     1.9    fixes even :: "'a \<Rightarrow> bool"
    1.10  
    1.11  abbreviation