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