Diffusion afp-devel fc32ad9925ee

fixed two more "sorted" errors
fc32ad9925ee
Actions

Tags

None

Subscribers

None

Description

fixed two more "sorted" errors

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPfdbe2f5933e8: fixed two "sorted" issues

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPfc32ad9925ee: fixed two more "sorted" errors.May 19 2021, 11:28 AM

Changes (2)

Path

Size

thys/

Graph_Saturation/

MissingRelation.thy

UTP/

toolkit/

rAFPfc32ad9925ee

thys/Graph_Saturation/MissingRelation.thy

Loading...

thys/UTP/toolkit/List_Extra.thy

Loading...