summary |
shortlog |
changelog |
graph |
tags |
branches |
files |
changeset |
file |
revisions |
annotate |
diff |
raw

CONTRIBUTORS

changeset 62065 | d9874039786e |

parent 62060 | b75764fc4c35 |

child 62083 | 7582b39f51ed |

1.1 --- a/CONTRIBUTORS Tue Jan 05 15:45:29 2016 +0100 1.2 +++ b/CONTRIBUTORS Tue Jan 05 15:53:17 2016 +0100 1.3 @@ -8,40 +8,37 @@ 1.4 1.5 * Winter 2015: Manuel Eberl, TUM 1.6 The radius of convergence of power series and various summability tests. 1.7 - Harmonic numbers and the Eulerâ€“Mascheroni constant. 1.8 + Harmonic numbers and the Euler-Mascheroni constant. 1.9 The Generalised Binomial Theorem. 1.10 - The complex and real Gamma/log-Gamma/Digamma/Polygamma functions and 1.11 - their most important properties. 1.12 + The complex and real Gamma/log-Gamma/Digamma/Polygamma functions and their 1.13 + most important properties. 1.14 1.15 * Autumn 2015: Florian Haftmann, TUM 1.16 - Rewrite definitions for global interpretations and sublocale 1.17 - declarations. 1.18 + Rewrite definitions for global interpretations and sublocale declarations. 1.19 1.20 * Autumn 2015: Andreas Lochbihler 1.21 - Bourbaki-Witt fixpoint theorem for increasing functions on 1.22 - chain-complete partial orders. 1.23 + Bourbaki-Witt fixpoint theorem for increasing functions on chain-complete 1.24 + partial orders. 1.25 1.26 * Autumn 2015: Chaitanya Mangla, Lawrence C Paulson, and Manuel Eberl 1.27 A large number of additional binomial identities. 1.28 1.29 * Summer 2015: Daniel Matichuk, NICTA and Makarius Wenzel 1.30 - Isar subgoal command for proof structure within unstructured proof 1.31 - scripts. 1.32 + Isar subgoal command for proof structure within unstructured proof scripts. 1.33 1.34 * Summer 2015: Florian Haftmann, TUM 1.35 Generic partial division in rings as inverse operation of multiplication. 1.36 1.37 * Summer 2015: Manuel Eberl and Florian Haftmann, TUM 1.38 - Type class hierarchy with common algebraic notions of integral 1.39 - (semi)domains like units, associated elements and normalization 1.40 - wrt. units. 1.41 + Type class hierarchy with common algebraic notions of integral (semi)domains 1.42 + like units, associated elements and normalization wrt. units. 1.43 1.44 * Summer 2015: Florian Haftmann, TUM 1.45 Fundamentals of abstract type class for factorial rings. 1.46 1.47 * Summer 2015: Julian Biendarra, TUM and Dmitriy Traytel, ETH Zurich 1.48 - Command to lift a BNF structure on the raw type to the abstract type 1.49 - for typedefs. 1.50 + Command to lift a BNF structure on the raw type to the abstract type for 1.51 + typedefs. 1.52 1.53 1.54 Contributions to Isabelle2015