Diffusion afp-devel b5739aa85c75

uniformize capitalization
b5739aa85c75
Actions

Tags

None

Subscribers

None

Description

uniformize capitalization

Details

Provenance

Authored on

Parents

rAFPf01859e37d6b: added lemmas

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFPb5739aa85c75: uniformize capitalization.May 13 2020, 2:57 PM

Changes (1)

Path

Size

thys/

Saturation_Framework/

Prover_Architectures.thy

rAFPb5739aa85c75

thys/Saturation_Framework/Prover_Architectures.thy

Loading...