CONTRIBUTORS

 'contributor' is anybody who is listed in this file (CONTRIBUTORS) or
 who is listed as an author in one of the source files of this Isabelle
 distribution.
 
 
-Contributions to Isabelle 2007
-------------------------------
+Contributions to Isabelle2007
+-----------------------------
 
 * October 2007: Norbert Schirmer, TUM / Uni Saarbruecken
   State Spaces: The Locale Way (in HOL).
 
 * October 2007: Mark A. Hillebrand, DFKI

 
 * October 2005: Martin Wildmoser, TUM
   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.
 
 * September 2005: Stephan Merz, Alwen Tiu, QSL Loria