diff -r d0cced9cdeae -r e424bc65080d CONTRIBUTORS
--- a/CONTRIBUTORS Sun Jan 16 20:55:48 2011 +0100
+++ b/CONTRIBUTORS Sun Jan 16 21:05:10 2011 +0100
@@ -20,20 +20,20 @@
partial orders in HOL.
* September 2010: Florian Haftmann, TUM
- Refined concepts for evaluation, i.e., normalisation of terms using
+ Refined concepts for evaluation, i.e., normalization of terms using
different techniques.
* September 2010: Florian Haftmann, TUM
Code generation for Scala.
* August 2010: Johannes Hoelzl, Armin Heller, and Robert Himmelmann, TUM
- Rewriting the Probability theory.
+ Improved Probability theory in HOL.
* July 2010: Florian Haftmann, TUM
Reworking and extension of the Imperative HOL framework.
-* July 2010: Alexander Krauss, TUM and Christian Sternagel, University of
- Innsbruck
+* July 2010: Alexander Krauss, TUM and Christian Sternagel, University
+ of Innsbruck
Ad-hoc overloading. Generic do notation for monads.