| author | wenzelm |
| Thu Feb 16 22:53:24 2012 +0100 (2012-02-16) | |
| changeset 46507 | 1b24c24017dd |
| parent 44898 | ec3f30b8c78c |
| child 47232 | e2f0176149d0 |
| permissions | -rw-r--r-- |
1 (* Title: HOL/Library/Cset_Monad.thy
2 Author: Andreas Lochbihler, Karlsruhe Institute of Technology
3 *)
5 header {* Monad notation for computable sets (cset) *}
7 theory Cset_Monad
8 imports Cset Monad_Syntax
9 begin
11 setup {*
12 Adhoc_Overloading.add_variant @{const_name bind} @{const_name Cset.bind}
13 *}
15 end