# HG changeset patch
# User bulwahn
# Date 1323876630 -3600
# Node ID 3759fb8a02b81cd530c67b4186a1c4b55a2b71d5
# Parent  1fec5b365f9b26a8c8fdbb4de18ab194cfbc98f8
tuned header after renaming

diff -r 1fec5b365f9b -r 3759fb8a02b8 src/HOL/Library/AList_Impl.thy
--- a/src/HOL/Library/AList_Impl.thy	Wed Dec 14 16:30:29 2011 +0100
+++ b/src/HOL/Library/AList_Impl.thy	Wed Dec 14 16:30:30 2011 +0100
@@ -1,10 +1,10 @@
-(*  Title:      HOL/Library/AList.thy
+(*  Title:      HOL/Library/AList_Impl.thy
     Author:     Norbert Schirmer, Tobias Nipkow, Martin Wildmoser, TU Muenchen
 *)
 
 header {* Implementation of Association Lists *}
 
-theory AList
+theory AList_Impl
 imports Main More_List
 begin