HomeIsabelle/Phabricator
Diffusion afp-devel 7757456aafcf

Fixed failing proofs.
7757456aafcf
Actions

Description

Fixed failing proofs.

Details

Provenance
Achim D. Brucker <adbrucker@0x5f.org>Authored on
Parents
rAFP34a339f71b38: Added proofs about get_tag_type.
Branches
Unknown
Tags
Unknown

Event Timeline

Achim D. Brucker <adbrucker@0x5f.org> committed rAFP7757456aafcf: Fixed failing proofs..Jul 24 2020, 8:17 PM

Changes (1)

PathSize
thys/
Core_DOM/
common/
monads/

rAFP7757456aafcf

View Options

thys/Core_DOM/common/monads/BaseMonad.thy

Loading...