Diffusion afp-devel c1979202233d

tuned document
c1979202233d
Actions

Tags

None

Subscribers

None

Description

tuned document

Details

Provenance

Authored on

Parents

rAFPe4e449d5b763: merged two theory files and cleaned up some locales

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFPc1979202233d: tuned document.Aug 26 2020, 5:27 PM

Changes (1)

Path

Size

thys/

Saturation_Framework_Extensions/

document/

rAFPc1979202233d

thys/Saturation_Framework_Extensions/document/root.tex

Loading...