1.1 --- a/CONTRIBUTORS	Wed Nov 21 16:36:47 2007 +0100
     1.2 +++ b/CONTRIBUTORS	Wed Nov 21 16:40:51 2007 +0100
     1.3 @@ -4,8 +4,8 @@
     1.4  distribution.
     1.5  
     1.6  
     1.7 -Contributions to Isabelle 2007
     1.8 -------------------------------
     1.9 +Contributions to Isabelle2007
    1.10 +-----------------------------
    1.11  
    1.12  * October 2007: Norbert Schirmer, TUM / Uni Saarbruecken
    1.13    State Spaces: The Locale Way (in HOL).
    1.14 @@ -76,8 +76,8 @@
    1.15    Sketch for Isar 'guess' element.
    1.16  
    1.17  
    1.18 -Contributions to Isabelle 2005
    1.19 -------------------------------
    1.20 +Contributions to Isabelle2005
    1.21 +-----------------------------
    1.22  
    1.23  * September 2005: Lukas Bulwahn and Bernhard Haeupler, TUM
    1.24    HOL-Complex: Formalization of Taylor series.