src/HOL/List.thy
changeset 45789 36ea69266e61
parent 45714 ad4242285560
child 45794 16e8e4d33c42
     1.1 --- a/src/HOL/List.thy	Thu Dec 08 13:46:04 2011 +0100
     1.2 +++ b/src/HOL/List.thy	Thu Dec 08 13:53:27 2011 +0100
     1.3 @@ -5312,12 +5312,6 @@
     1.4  code_const dropWhile
     1.5    (Haskell "dropWhile")
     1.6  
     1.7 -code_const hd
     1.8 -  (Haskell "head")
     1.9 -
    1.10 -code_const last
    1.11 -  (Haskell "last")
    1.12 -
    1.13  code_const list_all
    1.14    (Haskell "all")
    1.15