src/Pure/General/lazy_seq.ML

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