diff -r 754efc5afd5d -r fa7e70be26b0 src/Pure/General/susp.ML
--- a/src/Pure/General/susp.ML	Thu Jun 02 02:21:44 2005 +0200
+++ b/src/Pure/General/susp.ML	Thu Jun 02 09:11:32 2005 +0200
@@ -1,3 +1,10 @@
+(*  Title:      Pure/General/susp.ML
+    ID:         $Id$
+    Author:     Sebastian Skalberg, TU Muenchen
+
+Delayed evaluation.
+*)
+
 signature SUSP =
 sig