HomeIsabelle/Phabricator
Diffusion afp-devel 8fda5e92692f

EPO: simplify proof
8fda5e92692f
Actions

Description

EPO: simplify proof

Details

Provenance
Alexander Bentkamp <a.bentkamp@vu.nl>Authored on
Parents
rAFPf8dc7663c3cf: more complete simp rules
Branches
Unknown
Tags
Unknown

Event Timeline

Alexander Bentkamp <a.bentkamp@vu.nl> committed rAFP8fda5e92692f: EPO: simplify proof.Oct 12 2021, 3:59 PM

Changes (1)

PathSize
thys/
Lambda_Free_EPO/

rAFP8fda5e92692f

View Options

thys/Lambda_Free_EPO/Lambda_Free_EPO.thy

Loading...