src/HOL/Library/Library.thy
changeset 19564 d3e2f532459a
parent 19469 958d2f2dd8d4
child 19605 67e6b4759b37
     1.1 --- a/src/HOL/Library/Library.thy	Fri May 05 16:50:58 2006 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Fri May 05 17:17:21 2006 +0200
     1.3 @@ -1,7 +1,6 @@
     1.4  (*<*)
     1.5  theory Library
     1.6  imports
     1.7 -  Accessible_Part
     1.8    BigO
     1.9    Continuity
    1.10    EfficientNat