Diffusion afp-devel fdbe2f5933e8

fixed two "sorted" issues
fdbe2f5933e8
Actions

Tags

None

Subscribers

None

Description

fixed two "sorted" issues

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPcb0adfb311e1: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPfdbe2f5933e8: fixed two "sorted" issues.May 19 2021, 11:04 AM

Changes (2)

Path

Size

thys/

Groebner_Bases/

Algorithm_Schema.thy

MFODL_Monitor_Optimized/

Optimized_MTL.thy

rAFPfdbe2f5933e8

thys/Groebner_Bases/Algorithm_Schema.thy

Loading...

thys/MFODL_Monitor_Optimized/Optimized_MTL.thy

Loading...