HomeIsabelle/Phabricator
Diffusion afp-devel 4cb0bfddda9c

refactoring
4cb0bfddda9c
Actions

Description

refactoring

Details

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

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFP4cb0bfddda9c: refactoring.Feb 10 2020, 6:47 PM

Changes (4)

PathSize
thys/
Transition_Systems_and_Automata/
Automata/
NBA/
Basic/

rAFP4cb0bfddda9c

View Options

thys/Transition_Systems_and_Automata/Automata/Deterministic.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/NBA/NBA_Combine.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/Nondeterministic.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Basic/Sequence.thy

Loading...