Isabelle/HOL Option Monad Code
Monadic functions and their properties for Isabelle/HOL's option type.
Brought to you by:
csternagel
Menu
▾
▴
Tree [f6e0ca] default tip / History
| File | Date | Author | Commit |
|---|---|---|---|
| Option_Monad.thy | 2012-02-19 |
griff
|
[f6e0ca] initial revision (corresponding to changeset 08... |
