--- a/CONTRIBUTORS Mon Sep 12 11:54:20 2011 -0700
+++ b/CONTRIBUTORS Mon Sep 12 13:19:10 2011 -0700
@@ -7,7 +7,7 @@
-------------------------------
* September 2011: Peter Gammie
- Theory HOL/Libary/Saturated: numbers with saturated arithmetic.
+ Theory HOL/Library/Saturated: numbers with saturated arithmetic.
* August 2011: Florian Haftmann, Johannes Hölzl and Lars Noschinski, TUM
Refined theory on complete lattices.
@@ -30,6 +30,13 @@
Theory HOL/Library/Extended_Reals: real numbers extended with
plus and minus infinity.
+* June 2011: Brian Huffman, Portland State University
+ Proof method 'countable_datatype' for theory Library/Countable.
+
+* August 2011: Brian Huffman, Portland State University
+ Misc cleanup of Complex_Main and Multivariate_Analysis.
+
+
Contributions to Isabelle2011
-----------------------------