Diffusion afp-devel 04690e89d173

EPO: switch size measure
04690e89d173
Actions

Tags

None

Subscribers

None

Description

EPO: switch size measure

Details

Provenance

Alexander Bentkamp <a.bentkamp@vu.nl>

Authored on

Parents

rAFPf9cbe0d87965: adapt to isabelle/a30278c8585f; tuned whitespace

Branches

Unknown

Tags

Unknown

Event Timeline

Alexander Bentkamp <a.bentkamp@vu.nl> committed rAFP04690e89d173: EPO: switch size measure.Dec 13 2019, 10:37 AM

Changes (4)

Path

Size

thys/

Lambda_Free_EPO/

Lambda_Free_EPO.thy

Lambda_Free_RPOs/

Lambda_Free_Term.thy

rAFP04690e89d173

thys/Lambda_Free_EPO/Chop.thy

Loading...

thys/Lambda_Free_EPO/Embeddings.thy

Loading...

thys/Lambda_Free_EPO/Lambda_Free_EPO.thy

Loading...

thys/Lambda_Free_RPOs/Lambda_Free_Term.thy

Loading...