# HG changeset patch
# User haftmann
# Date 1434092003 -7200
# Node ID b050b557dbbef25f23d60476aeed7255d512538b
# Parent  720f210c5b1ddad77bf9d4f2a2118d3feffd5075
CONTRIBUTORS

diff -r 720f210c5b1d -r b050b557dbbe CONTRIBUTORS
--- 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
 -----------------------------