added header;
authorwenzelm
Thu Apr 07 09:26:18 2005 +0200 (2005-04-07 ago)
changeset 156636e6233e8cf5e
parent 15662 7e3bee7df06e
child 15664 7c150afba112
added header;
src/Pure/General/lazy_scan.ML
src/Pure/General/lazy_seq.ML
     1.1 --- a/src/Pure/General/lazy_scan.ML	Thu Apr 07 09:26:10 2005 +0200
     1.2 +++ b/src/Pure/General/lazy_scan.ML	Thu Apr 07 09:26:18 2005 +0200
     1.3 @@ -1,4 +1,9 @@
     1.4 -(* $Id$ *)
     1.5 +(*  Title:      Pure/General/lazy_scan.ML
     1.6 +    ID:         $Id$
     1.7 +    Author:     Sebastian Skalberg, TU Muenchen
     1.8 +
     1.9 +Scanner combinators for lazy sequences.
    1.10 +*)
    1.11  
    1.12  signature LAZY_SCAN =
    1.13  sig
     2.1 --- a/src/Pure/General/lazy_seq.ML	Thu Apr 07 09:26:10 2005 +0200
     2.2 +++ b/src/Pure/General/lazy_seq.ML	Thu Apr 07 09:26:18 2005 +0200
     2.3 @@ -1,3 +1,10 @@
     2.4 +(*  Title:      Pure/General/lazy_seq.ML
     2.5 +    ID:         $Id$
     2.6 +    Author:     Sebastian Skalberg, TU Muenchen
     2.7 +
     2.8 +Alternative version of lazy sequences.
     2.9 +*)
    2.10 +
    2.11  signature LAZY_SEQ =
    2.12  sig
    2.13