--- 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.