more CONTRIBUTORS;
authorwenzelm
Thu Jul 02 14:09:59 2015 +0200 (2015-07-02)
changeset 60632e096d5aaa0f8
parent 60631 441fdbfbb2d3
child 60633 f758c40e0a9a
more CONTRIBUTORS;
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Thu Jul 02 14:09:43 2015 +0200
     1.2 +++ b/CONTRIBUTORS	Thu Jul 02 14:09:59 2015 +0200
     1.3 @@ -6,13 +6,16 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* Summer 2015: Daniel Matichuk, NICTA and Makarius Wenzel
     1.8 +  Isar subgoal command for proof structure within unstructured proof
     1.9 +  scripts.
    1.10 +
    1.11  * Summer 2015: Florian Haftmann, TUM
    1.12 -  Generic partial division in rings as inverse operation
    1.13 -  of multiplication.
    1.14 +  Generic partial division in rings as inverse operation of multiplication.
    1.15  
    1.16  * Summer 2015: Manuel Eberl and Florian Haftmann, TUM
    1.17 -  Type class hierarchy with common algebraic notions of
    1.18 -  integral (semi)domains like units and associated elements.
    1.19 +  Type class hierarchy with common algebraic notions of integral
    1.20 +  (semi)domains like units and associated elements.
    1.21  
    1.22  
    1.23  Contributions to Isabelle2015