--- a/src/Pure/General/lazy_scan.ML Thu Apr 07 09:26:10 2005 +0200
+++ b/src/Pure/General/lazy_scan.ML Thu Apr 07 09:26:18 2005 +0200
@@ -1,4 +1,9 @@
-(* $Id$ *)
+(* Title: Pure/General/lazy_scan.ML
+ ID: $Id$
+ Author: Sebastian Skalberg, TU Muenchen
+
+Scanner combinators for lazy sequences.
+*)
signature LAZY_SCAN =
sig
--- a/src/Pure/General/lazy_seq.ML Thu Apr 07 09:26:10 2005 +0200
+++ b/src/Pure/General/lazy_seq.ML Thu Apr 07 09:26:18 2005 +0200
@@ -1,3 +1,10 @@
+(* Title: Pure/General/lazy_seq.ML
+ ID: $Id$
+ Author: Sebastian Skalberg, TU Muenchen
+
+Alternative version of lazy sequences.
+*)
+
signature LAZY_SEQ =
sig