HomeIsabelle/Phabricator
Diffusion afp-devel 2da0b337b200

renaming
2da0b337b200
Actions

Description

renaming

Details

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

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFP2da0b337b200: renaming.Jan 31 2020, 1:00 AM

Changes (5)

PathSize
thys/
Transition_Systems_and_Automata/
Automata/
NBA/

rAFP2da0b337b200

View Options

thys/Transition_Systems_and_Automata/Automata/Deterministic.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/NBA/NBA.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/NBA/NBA_Combine.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/NBA/NGBA.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/Nondeterministic.thy

Loading...