Diffusion afp-devel 1ff8d9fa1105

updated DFA and NFA to use intermediate layer
1ff8d9fa1105
Actions

Tags

None

Subscribers

None

Description

updated DFA and NFA to use intermediate layer

Details

Provenance

Julian Brunner <julianbrunner@gmail.com>

Authored on

Parents

rAFPe77e24b46bdc: significantly reduced amoutn of boilerplate

Branches

Unknown

Tags

Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFP1ff8d9fa1105: updated DFA and NFA to use intermediate layer.Feb 10 2020, 9:15 PM

Changes (2)

Path

Size

thys/

Transition_Systems_and_Automata/

Automata/

DFA/

NFA/

rAFP1ff8d9fa1105

thys/Transition_Systems_and_Automata/Automata/DFA/DFA.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/NFA/NFA.thy

Loading...