Diffusion afp-devel 6ca14d15f7f0

moved lemmas to distribution
6ca14d15f7f0
Actions

Tags

None

Subscribers

None

Description

moved lemmas to distribution

Details

Provenance

Authored on

Parents

rAFP4e236e4e16b0: merged

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP6ca14d15f7f0: moved lemmas to distribution.Jul 11 2022, 8:22 AM

Changes (1)

Path

Size

thys/

Clique_and_Monotone_Circuits/

Preliminaries.thy

rAFP6ca14d15f7f0

thys/Clique_and_Monotone_Circuits/Preliminaries.thy

Loading...