src/HOL/Finite.thy

--- a/src/HOL/Finite.thy	Fri May 30 15:15:57 1997 +0200
+++ b/src/HOL/Finite.thy	Fri May 30 15:16:44 1997 +0200
@@ -6,7 +6,7 @@
 Finite sets and their cardinality
 *)
 
-Finite = Arith +
+Finite = Divides +
 
 consts Fin :: 'a set => 'a set set