HomeIsabelle/Phabricator

Monad_Memo_DP: clean proof, remove unused thms, clean tests

Description

Monad_Memo_DP: clean proof, remove unused thms, clean tests

Details

Provenance
Simon Wimmer <wimmers@in.tum.de>Authored on
Parents
rAFPe69090abc053: Merged
Branches
Unknown
Tags
Unknown