# HG changeset patch
# User wenzelm
# Date 1335554255 -7200
# Node ID 04a6a6c03eeae8211f18783778cc0755005f1b9c
# Parent  befe55c8bbdcce227e7ab1e597264502441d3176
tuned;

diff -r befe55c8bbdc -r 04a6a6c03eea CONTRIBUTORS
--- a/CONTRIBUTORS	Fri Apr 27 21:13:55 2012 +0200
+++ b/CONTRIBUTORS	Fri Apr 27 21:17:35 2012 +0200
@@ -7,17 +7,18 @@
 -----------------------------
 
 * April 2012: Johannes Hölzl, TUM
-  Probability: Introduced type to represent measures instead of locales.
+  Probability: Introduced type to represent measures instead of
+  locales.
 
 * April 2012: Johannes Hölzl, Fabian Immler, TUM
   Float: Moved to Dyadic rationals to represent floating point numers.
 
-* April 2012: Thomas Sewell, NICTA
-    (based on work done with Sascha Boehme, TUM in 2010)
-  WordBitwise: logic/circuit expansion of bitvector equalities/inequalities.
+* April 2012: Thomas Sewell, NICTA and
+  2010: Sascha Boehme, TUM
+  Theory HOL/Word/WordBitwise: logic/circuit expansion of bitvector
+  equalities/inequalities.
 
-* March 2012: Christian Sternagel, Japan Advanced Institute of Science
-  and Technology
+* March 2012: Christian Sternagel, JAIST
   Consolidated theory of relation composition.
 
 * March 2012: Nik Sultana, University of Cambridge
@@ -31,11 +32,13 @@
   (Re-)Introduction of the "set" type constructor.
 
 * 2012: Ondrej Kuncar, TUM
-  New package Lifting, various improvements and refinements to the Quotient package.
+  New package Lifting, various improvements and refinements to the
+  Quotient package.
 
 * 2011/2012: Jasmin Blanchette, TUM
   Various improvements to Sledgehammer, notably: tighter integration
-  with SPASS, support for more provers (Alt-Ergo, iProver, iProver-Eq).
+  with SPASS, support for more provers (Alt-Ergo, iProver,
+  iProver-Eq).
 
 * 2011/2012: Makarius Wenzel, Université Paris-Sud / LRI
   Various refinements of local theory infrastructure.