src/Pure/General/seq.ML
changeset 6118 caa439435666
parent 5864 30b6a3251813
child 6927 83759063fbbd
equal deleted inserted replaced
6117:f9aad8ccd590 6118:caa439435666
     1 (*  Title:      Pure/seq.ML
     1 (*  Title:      Pure/General/seq.ML
     2     ID:         $Id$
     2     ID:         $Id$
     3     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     3     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     4 
     4 
     5 Unbounded sequences implemented by closures.  RECOMPUTES if sequence
     5 Unbounded sequences implemented by closures.  RECOMPUTES if sequence
     6 is re-inspected.  Memoing, using polymorphic refs, was found to be
     6 is re-inspected.  Memoing, using polymorphic refs, was found to be