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.
Merge
authorpaulson <lp15@cam.ac.uk>
Wed, 29 Jan 2014 15:41:18 +0000
changeset 55162 09818414b6a5
parent 55161 8eb891539804 (current diff)
parent 55160 2d69438b1b0c (diff)
child 55164 409b2b2e7c5a
child 55165 f4791db20067
Merge
--- 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.
isabelle