Diffusion afp-devel 61b65f5bfdbe

ported Design-Theory from AFP 2021 to devel
61b65f5bfdbe
Actions

Tags

None

Subscribers

None

Description

ported Design-Theory from AFP 2021 to devel

Details

Provenance

Rene Thiemann <rene.thiemann@uibk.ac.at>

Authored on

Parents

rAFPd724a03eef28: ported Three-Circles from AFP 2021 to devel

Branches

Unknown

Tags

Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP61b65f5bfdbe: ported Design-Theory from AFP 2021 to devel.Sep 24 2021, 3:17 PM

Changes (4)

Path

Size

thys/

Design_Theory/

Block_Designs.thy

Design_Isomorphisms.thy

Designs_And_Graphs.thy

Multisets_Extras.thy

rAFP61b65f5bfdbe

thys/Design_Theory/Block_Designs.thy

Loading...

thys/Design_Theory/Design_Isomorphisms.thy

Loading...

thys/Design_Theory/Designs_And_Graphs.thy

Loading...

thys/Design_Theory/Multisets_Extras.thy

Loading...