Diffusion afp-devel e08b0a512b1e

adapted to Isabelle/2746dfc9ceae;
e08b0a512b1e
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/2746dfc9ceae;

Details

Provenance

Authored on

Parents

rAFP8152a97232cb: merge

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPe08b0a512b1e: adapted to Isabelle/2746dfc9ceae;.Mar 9 2024, 11:29 AM

Changes (1)

Path

Size

thys/

Types_To_Sets_Extension/

ETTS/

rAFPe08b0a512b1e

thys/Types_To_Sets_Extension/ETTS/ETTS_Active.ML

Loading...