HomeIsabelle/Phabricator

Added proofs about get_tag_type.

Description

Added proofs about get_tag_type.

Details

Event Timeline

Achim D. Brucker <adbrucker@0x5f.org> committed rAFP34a339f71b38: Added proofs about get_tag_type..Fri, Jul 24, 12:54 PM