CONTRIBUTORS
changeset 44897 787983a08bfb
parent 44882 3d853767e5f3
child 44900 1a4ea8c5399a
     1.1 --- a/CONTRIBUTORS	Mon Sep 12 10:27:36 2011 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Sep 12 10:57:58 2011 +0200
     1.3 @@ -16,6 +16,9 @@
     1.4    Various building blocks for Isabelle/Scala layer and Isabelle/jEdit
     1.5    Prover IDE.
     1.6  
     1.7 +* 2011: Andreas Lochbihler, Karlsruhe Institute of Technology
     1.8 +  Theory HOL/Library/Cset_Monad allows do notation for computable
     1.9 +  sets (cset) via the generic monad ad-hoc overloading facility.
    1.10  
    1.11  Contributions to Isabelle2011
    1.12  -----------------------------