Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed comment;
authorwenzelm
Sat, 08 Apr 2000 19:38:19 +0200
changeset 8683 9d3e8c4a0287
parent 8682 82ebf8618e6b
child 8684 dfe444b748aa
fixed comment;
src/HOL/ex/Recdefs.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle