# HG changeset patch
# User haftmann
# Date 1258989868 -3600
# Node ID fb95d9152fa9d66379d7ca371b23505f81bdb64b
# Parent  39c939449d06e1fa3721ff047c6b9f4da5b56a3d
CONTRIBUTORS

diff -r 39c939449d06 -r fb95d9152fa9 CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Nov 23 16:15:39 2009 +0100
+++ b/CONTRIBUTORS	Mon Nov 23 16:24:28 2009 +0100
@@ -7,8 +7,11 @@
 Contributions to Isabelle2009-1
 -------------------------------
 
+* November 2009, Brian Huffman, PSU
+  New definitional domain package for HOLCF.
+
 * November 2009: Robert Himmelmann, TUM
-  Derivation and Brouwer's fixpoint theorem in Multivariate Analysis
+  Derivation and Brouwer's fixpoint theorem in Multivariate Analysis.
 
 * November 2009: Stefan Berghofer and Lukas Bulwahn, TUM
   A tabled implementation of the reflexive transitive closure.