diff -r 01a98fd72eae -r 967323f93c67 doc-src/IsarAdvanced/Classes/Thy/code_examples/Classes.hs
--- a/doc-src/IsarAdvanced/Classes/Thy/code_examples/Classes.hs	Tue Mar 18 20:33:33 2008 +0100
+++ b/doc-src/IsarAdvanced/Classes/Thy/code_examples/Classes.hs	Tue Mar 18 20:34:26 2008 +0100
@@ -3,8 +3,6 @@
 
 data Nat = Suc Nat | Zero_nat;
 
-data Bit = B1 | B0;
-
 nat_aux :: Integer -> Nat -> Nat;
 nat_aux i n = (if i <= 0 then n else nat_aux (i - 1) (Suc n));