Diffusion afp-devel 3ec6dc59412e

comleted single loop refinement
3ec6dc59412e
Actions

Tags

None

Subscribers

None

Description

comleted single loop refinement

Details

Provenance

Authored on

Parents

rAFP198ec6433df8: merged

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP3ec6dc59412e: comleted single loop refinement.May 17 2022, 7:38 AM

Changes (2)

Path

Size

thys/

Gale_Shapley/

Gale_Shapley1.thy

Gale_Shapley2.thy

rAFP3ec6dc59412e

thys/Gale_Shapley/Gale_Shapley1.thy

Loading...

thys/Gale_Shapley/Gale_Shapley2.thy

Loading...