--- a/src/HOL/Subst/AList.thy Thu Dec 06 00:45:04 2001 +0100
+++ b/src/HOL/Subst/AList.thy Thu Dec 06 00:46:24 2001 +0100
@@ -6,7 +6,7 @@
Association lists.
*)
-AList = List +
+AList = Main +
consts
alist_rec :: "[('a*'b)list, 'c, ['a, 'b, ('a*'b)list, 'c]=>'c] => 'c"