Diffusion afp-devel 9f61d06c57fc

simplified 'length = 0'
9f61d06c57fc
Actions

Tags

None

Subscribers

None

Description

simplified 'length = 0'

Details

Provenance

Authored on

Parents

rAFPf42d5b45465d: adapted uses of vcg_tc_simp in Aggregation_Algebras and…

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFP9f61d06c57fc: simplified 'length = 0'.Aug 28 2020, 9:06 AM

Changes (2)

Path

Size

thys/

Saturation_Framework/

Given_Clause_Architectures.thy

Saturation_Framework_Extensions/

Given_Clause_Architectures_Revisited.thy

rAFP9f61d06c57fc

thys/Saturation_Framework/Given_Clause_Architectures.thy

Loading...

thys/Saturation_Framework_Extensions/Given_Clause_Architectures_Revisited.thy

Loading...