--- a/src/HOL/List.thy Fri May 30 15:15:57 1997 +0200
+++ b/src/HOL/List.thy Fri May 30 15:16:44 1997 +0200
@@ -6,7 +6,7 @@
The datatype of finite lists.
*)
-List = Arith +
+List = Divides +
datatype 'a list = "[]" ("[]") | "#" 'a ('a list) (infixr 65)