Diffusion afp-devel 518e0df833cd

corresponding lemma was removed from distribution
518e0df833cd
Actions

Tags

None

Subscribers

None

Description

corresponding lemma was removed from distribution

Details

Provenance

Authored on

Parents

rAFP7d9079a56071: regen site

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP518e0df833cd: corresponding lemma was removed from distribution.Oct 11 2022, 7:02 PM

Changes (1)

Path

Size

thys/

Types_To_Sets_Extension/

Examples/

SML_Relativization/

Algebra/

SML_Semigroups.thy

rAFP518e0df833cd

thys/Types_To_Sets_Extension/Examples/SML_Relativization/Algebra/SML_Semigroups.thy

Loading...