
diff -r 0d07e49dc9a5 -r 965f95a3abd9 src/HOL/Prolog/Test.thy
--- a/src/HOL/Prolog/Test.thy	Tue Jun 11 12:35:33 2002 +0200
+++ b/src/HOL/Prolog/Test.thy	Tue Jun 11 16:43:17 2002 +0200
@@ -1,4 +1,10 @@
-(* basic examples *)
+(*  Title:    HOL/Prolog/Test.thy
+    ID:       $Id$
+    Author:   David von Oheimb (based on a lecture on Lambda Prolog by Nadathur)
+    License:  GPL (GNU GENERAL PUBLIC LICENSE)
+
+basic examples 
+*)
 
 Test = HOHH +
 




