# HG changeset patch
# User wenzelm
# Date 1195659651 -3600
# Node ID 470a61a65712584ab4edce3c5ec549315d475fa2
# Parent  80557dafd2a09de71dc882e4ced88b221a01410e
tuned;

diff -r 80557dafd2a0 -r 470a61a65712 CONTRIBUTORS
--- a/CONTRIBUTORS	Wed Nov 21 16:36:47 2007 +0100
+++ b/CONTRIBUTORS	Wed Nov 21 16:40:51 2007 +0100
@@ -4,8 +4,8 @@
 distribution.
 
 
-Contributions to Isabelle 2007
-------------------------------
+Contributions to Isabelle2007
+-----------------------------
 
 * October 2007: Norbert Schirmer, TUM / Uni Saarbruecken
   State Spaces: The Locale Way (in HOL).
@@ -76,8 +76,8 @@
   Sketch for Isar 'guess' element.
 
 
-Contributions to Isabelle 2005
-------------------------------
+Contributions to Isabelle2005
+-----------------------------
 
 * September 2005: Lukas Bulwahn and Bernhard Haeupler, TUM
   HOL-Complex: Formalization of Taylor series.