HomeIsabelle/Phabricator
Diffusion afp-devel ec727bc82521

added path automata
ec727bc82521
Actions

Description

added path automata

Details

Provenance
Julian Brunner <julianbrunner@gmail.com>Authored on
Parents
rAFP2da0b337b200: renaming
Branches
Unknown
Tags
Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFPec727bc82521: added path automata.Jan 31 2020, 5:43 PM

Changes (1)

PathSize
thys/
Transition_Systems_and_Automata/
Automata/

rAFPec727bc82521

View Options

thys/Transition_Systems_and_Automata/Automata/Nondeterministic.thy

Loading...