src/HOL/Prolog/Test.ML

--- a/src/HOL/Prolog/Test.ML	Tue Jun 11 12:35:33 2002 +0200
+++ b/src/HOL/Prolog/Test.ML	Tue Jun 11 16:43:17 2002 +0200
@@ -1,3 +1,9 @@
+(*  Title:    HOL/Prolog/Test.ML
+    ID:       $Id$
+    Author:   David von Oheimb (based on a lecture on Lambda Prolog by Nadathur)
+    License:  GPL (GNU GENERAL PUBLIC LICENSE)
+*)
+
 open Test;
 
 val prog_Test = prog_HOHH@[append, reverse, mappred, mapfun, age, eq, bag_appl];