stripped dead code
authorhaftmann
Wed Mar 11 15:56:49 2009 +0100 (2009-03-11)
changeset 30447955190fa639b
parent 30446 e3641cac56fa
child 30448 0c7e1578036c
stripped dead code
src/HOL/Import/proof_kernel.ML
     1.1 --- a/src/HOL/Import/proof_kernel.ML	Wed Mar 11 15:56:49 2009 +0100
     1.2 +++ b/src/HOL/Import/proof_kernel.ML	Wed Mar 11 15:56:49 2009 +0100
     1.3 @@ -264,7 +264,6 @@
     1.4  
     1.5  structure Lib =
     1.6  struct
     1.7 -fun wrap b e s = String.concat[b,s,e]
     1.8  
     1.9  fun assoc x =
    1.10      let
    1.11 @@ -280,9 +279,6 @@
    1.12            | itr (a::rst) = i=a orelse itr rst
    1.13      in itr L end;
    1.14  
    1.15 -fun mk_set [] = []
    1.16 -  | mk_set (a::rst) = insert (op =) a (mk_set rst)
    1.17 -
    1.18  fun [] union S = S
    1.19    | S union [] = S
    1.20    | (a::rst) union S2 = rst union (insert (op =) a S2)