Diffusion afp-devel e5eeaaf2bd5b

used antiquotation to fix LaTeX failure
e5eeaaf2bd5b
Actions

Tags

None

Subscribers

None

Description

used antiquotation to fix LaTeX failure

Details

Provenance

Authored on

Parents

rAFP5dddf1525788: adapted to devel

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFPe5eeaaf2bd5b: used antiquotation to fix LaTeX failure.Nov 10 2021, 8:35 AM

Changes (1)

Path

Size

thys/

Saturation_Framework_Extensions/

Standard_Redundancy_Criterion.thy

rAFPe5eeaaf2bd5b

thys/Saturation_Framework_Extensions/Standard_Redundancy_Criterion.thy

Loading...