# HG changeset patch
# User paulson <lp15@cam.ac.uk>
# Date 1391010078 0
# Node ID 09818414b6a57ce054da98224bca9c74143398df
# Parent  8eb8915398044c21962a5a7c46d482d158d7e36b# Parent  2d69438b1b0cb6ce8472e409f1fb28b9ce73ef53
Merge

diff -r 8eb891539804 -r 09818414b6a5 src/HOL/Ctr_Sugar.thy
--- a/src/HOL/Ctr_Sugar.thy	Wed Jan 29 15:40:33 2014 +0000
+++ b/src/HOL/Ctr_Sugar.thy	Wed Jan 29 15:41:18 2014 +0000
@@ -1,5 +1,6 @@
 (*  Title:      HOL/Ctr_Sugar.thy
     Author:     Jasmin Blanchette, TU Muenchen
+    Author:     Dmitriy Traytel, TU Muenchen
     Copyright   2012, 2013
 
 Wrapping existing freely generated type's constructors.