tuned

--- a/src/HOL/Library/Cset_Monad.thy	Mon Sep 12 10:57:58 2011 +0200
+++ b/src/HOL/Library/Cset_Monad.thy	Mon Sep 12 10:59:38 2011 +0200
@@ -1,6 +1,8 @@
-(* Author: Andreas Lochbihler, KIT *)
+(* Title: HOL/Library/Cset_Monad.thy
+   Author: Andreas Lochbihler, Karlsruhe Institute of Technology
+*)
 
-header {* Add monad syntax for Csets *}
+header {* Monad notation for computable sets (cset) *}
 
 theory Cset_Monad
 imports Cset Monad_Syntax