| changeset 44898 | ec3f30b8c78c |
| parent 43976 | af17d7934116 |
| child 47232 | e2f0176149d0 |
--- 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