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.
added Dmitriy, since he did the case syntax
authorblanchet
Wed, 29 Jan 2014 15:05:53 +0100
changeset 55160 2d69438b1b0c
parent 55159 608c157d743d
child 55162 09818414b6a5
child 55163 a740f312d9e4
added Dmitriy, since he did the case syntax
src/HOL/Ctr_Sugar.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Ctr_Sugar.thy	Wed Jan 29 12:51:37 2014 +0000
+++ b/src/HOL/Ctr_Sugar.thy	Wed Jan 29 15:05:53 2014 +0100
@@ -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