A bunch of suggestions from Pedro Sánchez Terraf
402afc68f2f9
Actions

Description

A bunch of suggestions from Pedro Sánchez Terraf

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (7)

Path

Size

src/

ZF/

Constructible/

rISABELLE402afc68f2f9

src/ZF/Cardinal.thy

src/ZF/CardinalArith.thy

src/ZF/Cardinal_AC.thy

src/ZF/Constructible/Formula.thy

src/ZF/Constructible/Rank.thy

src/ZF/Constructible/Wellorderings.thy

A bunch of suggestions from Pedro Sánchez Terraf402afc68f2f9Actions

Description

Details

Changes (7)

rISABELLE402afc68f2f9

src/ZF/Cardinal.thy

src/ZF/CardinalArith.thy

src/ZF/Cardinal_AC.thy

src/ZF/Constructible/Formula.thy

src/ZF/Constructible/Rank.thy

src/ZF/Constructible/Wellorderings.thy

src/ZF/InfDatatype.thy

A bunch of suggestions from Pedro Sánchez Terraf
402afc68f2f9
Actions