src/HOL/Parity.thy
changeset 29608 564ea783ace8
parent 28952 15a4b2cf8c34
child 29654 24e73987bfe2
     1.1 --- a/src/HOL/Parity.thy	Wed Jan 21 18:37:44 2009 +0100
     1.2 +++ b/src/HOL/Parity.thy	Wed Jan 21 23:40:23 2009 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  imports Plain Presburger
     1.5  begin
     1.6  
     1.7 -class even_odd = type + 
     1.8 +class even_odd = 
     1.9    fixes even :: "'a \<Rightarrow> bool"
    1.10  
    1.11  abbreviation