--- a/CONTRIBUTORS Wed Jul 01 13:09:56 2015 +0200
+++ b/CONTRIBUTORS Thu Jul 02 14:10:42 2015 +0200
@@ -6,13 +6,16 @@
Contributions to this Isabelle version
--------------------------------------
+* Summer 2015: Daniel Matichuk, NICTA and Makarius Wenzel
+ Isar subgoal command for proof structure within unstructured proof
+ scripts.
+
* Summer 2015: Florian Haftmann, TUM
- Generic partial division in rings as inverse operation
- of multiplication.
+ Generic partial division in rings as inverse operation of multiplication.
* Summer 2015: Manuel Eberl and Florian Haftmann, TUM
- Type class hierarchy with common algebraic notions of
- integral (semi)domains like units and associated elements.
+ Type class hierarchy with common algebraic notions of integral
+ (semi)domains like units and associated elements.
Contributions to Isabelle2015