src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Fri Mar 10 15:33:48 2006 +0100
+++ b/src/HOL/Library/Library.thy	Fri Mar 10 16:05:34 2006 +0100
@@ -22,6 +22,7 @@
   Commutative_Ring
   Coinductive_List
   ASeries
+  AssocList
 begin
 end
 (*>*)