# HG changeset patch
# User wenzelm
# Date 955215499 -7200
# Node ID 9d3e8c4a02878787ac2a8c944e0a496425c1b247
# Parent  82ebf8618e6b075f6f769d3f47f14f57e3e4db08
fixed comment;

diff -r 82ebf8618e6b -r 9d3e8c4a0287 src/HOL/ex/Recdefs.ML
--- a/src/HOL/ex/Recdefs.ML	Fri Apr 07 17:36:56 2000 +0200
+++ b/src/HOL/ex/Recdefs.ML	Sat Apr 08 19:38:19 2000 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOL/ex/Recdefs.ML
     ID:         $Id$
-    Author:     Konrad Lawrence C Paulson
+    Author:     Konrad Slind and Lawrence C Paulson
     Copyright   1997  University of Cambridge
 
 A few proofs to demonstrate the functions defined in Recdefs.thy