src/HOL/Library/Cset_Monad.thy
2011-09-12 bulwahn 2011-09-12 tuned
2011-07-26 Andreas Lochbihler 2011-07-26 Add theory for setting up monad syntax for Cset