src/HOL/Library/Library.thy
changeset 44897 787983a08bfb
parent 44818 27ba81ad0890
child 45074 04286b0fc856
     1.1 --- a/src/HOL/Library/Library.thy	Mon Sep 12 10:27:36 2011 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Sep 12 10:57:58 2011 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  theory Library
     1.5  imports
     1.6    Abstract_Rat
     1.7 -  AssocList
     1.8 +  AList_Mapping
     1.9    BigO
    1.10    Binomial
    1.11    Bit