CONTRIBUTORS
changeset 47808 04a6a6c03eea
parent 47700 27a04da9c6e6
child 47887 4e9c06c194d9
     1.1 --- a/CONTRIBUTORS	Fri Apr 27 21:13:55 2012 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Apr 27 21:17:35 2012 +0200
     1.3 @@ -7,17 +7,18 @@
     1.4  -----------------------------
     1.5  
     1.6  * April 2012: Johannes Hölzl, TUM
     1.7 -  Probability: Introduced type to represent measures instead of locales.
     1.8 +  Probability: Introduced type to represent measures instead of
     1.9 +  locales.
    1.10  
    1.11  * April 2012: Johannes Hölzl, Fabian Immler, TUM
    1.12    Float: Moved to Dyadic rationals to represent floating point numers.
    1.13  
    1.14 -* April 2012: Thomas Sewell, NICTA
    1.15 -    (based on work done with Sascha Boehme, TUM in 2010)
    1.16 -  WordBitwise: logic/circuit expansion of bitvector equalities/inequalities.
    1.17 +* April 2012: Thomas Sewell, NICTA and
    1.18 +  2010: Sascha Boehme, TUM
    1.19 +  Theory HOL/Word/WordBitwise: logic/circuit expansion of bitvector
    1.20 +  equalities/inequalities.
    1.21  
    1.22 -* March 2012: Christian Sternagel, Japan Advanced Institute of Science
    1.23 -  and Technology
    1.24 +* March 2012: Christian Sternagel, JAIST
    1.25    Consolidated theory of relation composition.
    1.26  
    1.27  * March 2012: Nik Sultana, University of Cambridge
    1.28 @@ -31,11 +32,13 @@
    1.29    (Re-)Introduction of the "set" type constructor.
    1.30  
    1.31  * 2012: Ondrej Kuncar, TUM
    1.32 -  New package Lifting, various improvements and refinements to the Quotient package.
    1.33 +  New package Lifting, various improvements and refinements to the
    1.34 +  Quotient package.
    1.35  
    1.36  * 2011/2012: Jasmin Blanchette, TUM
    1.37    Various improvements to Sledgehammer, notably: tighter integration
    1.38 -  with SPASS, support for more provers (Alt-Ergo, iProver, iProver-Eq).
    1.39 +  with SPASS, support for more provers (Alt-Ergo, iProver,
    1.40 +  iProver-Eq).
    1.41  
    1.42  * 2011/2012: Makarius Wenzel, Université Paris-Sud / LRI
    1.43    Various refinements of local theory infrastructure.