# HG changeset patch
# User bulwahn
# Date 1315817978 -7200
# Node ID ec3f30b8c78cfe1a7a29c3c6e2f161f37726440e
# Parent  787983a08bfb1244f97d7c5452d38e2aee81144f
tuned

diff -r 787983a08bfb -r ec3f30b8c78c src/HOL/Library/Cset_Monad.thy
--- 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