Diffusion afp-devel 855e895beb9c

more accurate name
855e895beb9c
Actions

Tags

None

Subscribers

None

Description

more accurate name

Details

Provenance

Authored on

Parents

rAFP04bb771f4700: more politically correct

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFP855e895beb9c: more accurate name.Aug 5 2022, 1:27 PM

Changes (2)

Path

Size

thys/

Saturation_Framework/

Given_Clause_Architectures.thy

Saturation_Framework_Extensions/

Given_Clause_Architectures_Revisited.thy

rAFP855e895beb9c

thys/Saturation_Framework/Given_Clause_Architectures.thy

Loading...

thys/Saturation_Framework_Extensions/Given_Clause_Architectures_Revisited.thy

Loading...