Diffusion afp-devel 6136280343a0

more symbols;
6136280343a0
Actions

Tags

None

Subscribers

None

Description

more symbols;

Details

Provenance

Authored on

Parents

rAFPe5dd226cebfc: profer bundle lattice_syntax;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP6136280343a0: more symbols;.Jan 26 2022, 8:12 PM

Changes (4)

Path

Size

thys/

ZFC_in_HOL/

Ordinal_Exp.thy

ZFC_Cardinals.thy

rAFP6136280343a0

thys/ZFC_in_HOL/Kirby.thy

Loading...

thys/ZFC_in_HOL/Ordinal_Exp.thy

Loading...

thys/ZFC_in_HOL/ZFC_Cardinals.thy

Loading...

thys/ZFC_in_HOL/ZFC_in_HOL.thy

Loading...