Diffusion afp-devel ce490469c76e

simplified, using Isabelle/ML operations;
ce490469c76e
Actions

Tags

None

Subscribers

None

Description

simplified, using Isabelle/ML operations;

Details

Provenance

Authored on

Parents

rAFPa815068160f3: adapted to Isabelle/36774e8af3db: cannot rely on order of instantiation for…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPce490469c76e: simplified, using Isabelle/ML operations;.Sep 5 2021, 11:55 PM

Changes (2)

Path

Size

thys/

Forcing/

Synthetic_Definition.thy

rAFPce490469c76e

thys/Forcing/Synthetic_Definition.thy

Loading...

thys/Forcing/utils.ML

Loading...