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.
adjusted authorship
authorhaftmann
Thu, 20 Mar 2008 12:01:12 +0100
changeset 26350 a170a190c5d3
parent 26349 7f5a2f6d9119
child 26351 d5125a62f839
adjusted authorship
src/HOL/Library/Countable.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Countable.thy	Thu Mar 20 12:01:11 2008 +0100
+++ b/src/HOL/Library/Countable.thy	Thu Mar 20 12:01:12 2008 +0100
@@ -1,6 +1,6 @@
 (*  Title:      HOL/Library/Countable.thy
     ID:         $Id$
-    Author:     Tobias Nipkow
+    Author:     Alexander Krauss, TU Muenchen
 *)
 
 header {* Encoding (almost) everything into natural numbers *}
isabelle