# HG changeset patch
# User blanchet
# Date 1286222243 -7200
# Node ID 03ac1fbc76d3b131611a68cd7a7272b912b15fb7
# Parent  0ef551d4778391e962a2eec7103fa446afbc9bda
update authors

diff -r 0ef551d47783 -r 03ac1fbc76d3 src/HOL/Meson.thy
--- a/src/HOL/Meson.thy	Mon Oct 04 21:55:54 2010 +0200
+++ b/src/HOL/Meson.thy	Mon Oct 04 21:57:23 2010 +0200
@@ -1,5 +1,7 @@
 (*  Title:      HOL/Meson.thy
-    Author:     Lawrence C Paulson, Tobias Nipkow
+    Author:     Lawrence C. Paulson, Cambridge University Computer Laboratory
+    Author:     Tobias Nipkow, TU Muenchen
+    Author:     Jasmin Blanchette, TU Muenchen
     Copyright   2001  University of Cambridge
 *)