src/Pure/General/susp.ML
changeset 16179 fa7e70be26b0
parent 14278 ae499452700a
--- 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