Initial polymorphic monad that is polymorphic in state, exception and results. Used by the proof checker.
Initial polymorphic monad that is polymorphic in state, exception and results.
Used by the proof checker.


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@3522 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware