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.
CONTRIBUTORS
authorhaftmann
Fri, 12 Jun 2015 08:53:23 +0200
changeset 60434 b050b557dbbe
parent 60433 720f210c5b1d
child 60435 35c6e2daa397
CONTRIBUTORS
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Fri Jun 12 08:53:23 2015 +0200
+++ b/CONTRIBUTORS	Fri Jun 12 08:53:23 2015 +0200
@@ -6,6 +6,10 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* Summer 2015: Florian Haftmann, TUM
+  Generic partial division in rings as inverse operation
+  of multiplication.
+
 
 Contributions to Isabelle2015
 -----------------------------
isabelle