Diffusion afp-devel 811f0b8d4f58

more map_of adaptions
811f0b8d4f58
Actions

Tags

None

Subscribers

None

Description

more map_of adaptions

Details

Provenance

Authored on

Parents

rAFPfa59c080cb3b: adapted to new List.map_of

Branches

Unknown

Tags

Unknown

Reverted By

rAFP75c15c6dca23: Backed out changeset 811f0b8d4f58

Event Timeline

nipkow committed rAFP811f0b8d4f58: more map_of adaptions.Feb 14 2023, 1:34 PM

nipkow added a reverting change: rAFP75c15c6dca23: Backed out changeset 811f0b8d4f58.Feb 20 2023, 6:25 PM

Changes (2)

Path

Size

thys/

Collections/

ICF/

ICF_Autoref.thy

Verified_SAT_Based_AI_Planning/

STRIPS_Semantics.thy

rAFP811f0b8d4f58

thys/Collections/ICF/ICF_Autoref.thy

Loading...

thys/Verified_SAT_Based_AI_Planning/STRIPS_Semantics.thy

Loading...