src/Pure/General/lazy_scan.ML

--- 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