CONTRIBUTORS
changeset 60685 cb21b7022b00
parent 60632 e096d5aaa0f8
child 60804 080a979a985b
equal deleted inserted replaced
60684:53a71c9203b2 60685:cb21b7022b00
    13 * Summer 2015: Florian Haftmann, TUM
    13 * Summer 2015: Florian Haftmann, TUM
    14   Generic partial division in rings as inverse operation of multiplication.
    14   Generic partial division in rings as inverse operation of multiplication.
    15 
    15 
    16 * Summer 2015: Manuel Eberl and Florian Haftmann, TUM
    16 * Summer 2015: Manuel Eberl and Florian Haftmann, TUM
    17   Type class hierarchy with common algebraic notions of integral
    17   Type class hierarchy with common algebraic notions of integral
    18   (semi)domains like units and associated elements.
    18   (semi)domains like units, associated elements and normalization
       
    19   wrt. units.
    19 
    20 
    20 
    21 
    21 Contributions to Isabelle2015
    22 Contributions to Isabelle2015
    22 -----------------------------
    23 -----------------------------
    23 
    24