# HG changeset patch
# User krauss
# Date 1306833707 -7200
# Node ID 946c8e171ffdca793b1b2d0e94c23c8d68a3639e
# Parent  df41a5762c3d3c6bc3d288c5e8cdc861556486ec
more precise authorship, reflecting my own ignorance and hg annotate

diff -r df41a5762c3d -r 946c8e171ffd src/HOL/Tools/Function/size.ML
--- a/src/HOL/Tools/Function/size.ML	Tue May 31 11:16:52 2011 +0200
+++ b/src/HOL/Tools/Function/size.ML	Tue May 31 11:21:47 2011 +0200
@@ -1,5 +1,5 @@
 (*  Title:      HOL/Tools/Function/size.ML
-    Author:     Stefan Berghofer, Florian Haftmann & Alexander Krauss, TU Muenchen
+    Author:     Stefan Berghofer, Florian Haftmann, TU Muenchen
 
 Size functions for datatypes.
 *)