Diffusion Isabelle 1f2e78b7df93

more structured proofs
1f2e78b7df93
Actions

Tags

None

Subscribers

None

Description

more structured proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLEcf8f85e2a807: fixed some theory presentation issues (?)

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE1f2e78b7df93: more structured proofs.Sep 28 2022, 8:14 PM

Changes (1)

Path

Size

src/

ZF/

Constructible/

rISABELLE1f2e78b7df93

src/ZF/Constructible/Normal.thy

Loading...