Diffusion afp-devel b1c4633dd3f5

more syntax adjustments
b1c4633dd3f5
Actions

Tags

None

Subscribers

None

Description

more syntax adjustments

Details

Provenance

Authored on

Parents

rAFP0b07855e08be: more syntax update for map update syntax

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFPb1c4633dd3f5: more syntax adjustments.Mar 15 2023, 11:41 AM

Changes (1)

Path

Size

thys/

Transition_Systems_and_Automata/

Basic/

rAFPb1c4633dd3f5

thys/Transition_Systems_and_Automata/Basic/Implement.thy

Loading...