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.
Corrected affiliation.
authorballarin
Mon, 20 Mar 2017 21:01:47 +0100
changeset 65330 d83f709b7580
parent 65329 4f3da52cec02
child 65337 27144776aefe
Corrected affiliation.
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Sun Mar 19 20:28:21 2017 +0100
+++ b/CONTRIBUTORS	Mon Mar 20 21:01:47 2017 +0100
@@ -6,7 +6,8 @@
 Contributions to this Isabelle version
 --------------------------------------
 
-* March 2017: Alasdair Armstrong and Simon Foster, University of York
+* March 2017: Alasdair Armstrong, University of Sheffield and
+  Simon Foster, University of York
   Fixed-point theory and Galois Connections in HOL-Algebra.
 
 * February 2017: Florian Haftmann, TUM
isabelle