HomeIsabelle/Phabricator
Diffusion afp-devel 06bb4c12bc7b

refactoring
06bb4c12bc7b
Actions

Description

refactoring

Details

Provenance
Julian Brunner <julianbrunner@gmail.com>Authored on
Parents
rAFPecd9de819957: Update change history.
Branches
Unknown
Tags
Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFP06bb4c12bc7b: refactoring.Feb 16 2020, 5:51 PM

Changes (11)

PathSize
thys/
Transition_Systems_and_Automata/
Automata/
DBA/
DBTA/
DCA/
DFA/
DRA/
NBA/
NBTA/
NFA/

rAFP06bb4c12bc7b

View Options

thys/Transition_Systems_and_Automata/Automata/DBA/DBA_Combine.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/DBTA/DBTA_Combine.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/DCA/DCA_Combine.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/DFA/DFA.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/DRA/DRA_Combine.thy

Loading...
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/NBA/NGBA_Algorithms.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/NBTA/NBTA_Combine.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/NFA/NFA.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/Nondeterministic.thy

Loading...