src/Pure/General/susp.ML
changeset 16179 fa7e70be26b0
parent 14278 ae499452700a
equal deleted inserted replaced
16178:754efc5afd5d 16179:fa7e70be26b0
       
     1 (*  Title:      Pure/General/susp.ML
       
     2     ID:         $Id$
       
     3     Author:     Sebastian Skalberg, TU Muenchen
       
     4 
       
     5 Delayed evaluation.
       
     6 *)
       
     7 
     1 signature SUSP =
     8 signature SUSP =
     2 sig
     9 sig
     3 
    10 
     4 type 'a susp
    11 type 'a susp
     5 
    12