src/HOL/String.thy
changeset 55969 8820ddb8f9f4
parent 55642 63beb38e9258
child 56846 9df717fef2bb
     1.1 --- a/src/HOL/String.thy	Fri Mar 07 14:21:15 2014 +0100
     1.2 +++ b/src/HOL/String.thy	Fri Mar 07 14:21:15 2014 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4  header {* Character and string types *}
     1.5  
     1.6  theory String
     1.7 -imports List Enum
     1.8 +imports Enum
     1.9  begin
    1.10  
    1.11  subsection {* Characters and strings *}
    1.12 @@ -443,4 +443,3 @@
    1.13  hide_type (open) literal
    1.14  
    1.15  end
    1.16 -