# HG changeset patch
# User wenzelm
# Date 1230749798 -3600
# Node ID c5531bf7c6b2c33eaa2efdbd910027e907db4274
# Parent  7456a64bc4f68bbfafcfccd57a756ffbe825d5cf
updated header;

diff -r 7456a64bc4f6 -r c5531bf7c6b2 src/Pure/term.ML
--- a/src/Pure/term.ML	Wed Dec 31 19:54:04 2008 +0100
+++ b/src/Pure/term.ML	Wed Dec 31 19:56:38 2008 +0100
@@ -1,5 +1,6 @@
 (*  Title:      Pure/term.ML
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
+    Author:     Makarius
 
 Simply typed lambda-calculus: types, terms, and basic operations.
 *)