Diffusion afp-devel 56a136acb506

rectify copy/paste error
56a136acb506
Actions

Tags

None

Subscribers

None

Description

rectify copy/paste error

Details

Provenance

Authored on

Parents

rAFPb2b0e20ffde8: merged

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP56a136acb506: rectify copy/paste error.Aug 15 2023, 5:05 PM

Changes (1)

Path

Size

thys/

Regular_Tree_Relations/

rAFP56a136acb506

thys/Regular_Tree_Relations/AGTT.thy

Loading...