HomeIsabelle/Phabricator

Fixed failing proofs.

Description

Fixed failing proofs.

Details

Committed
Achim D. Brucker <adbrucker@0x5f.org>Fri, Jul 24, 8:17 PM
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..Fri, Jul 24, 8:17 PM