Diffusion afp-devel 2a4d3cb0f059

generalized deterministic degeneralization
2a4d3cb0f059
Actions

Tags

None

Subscribers

None

Description

generalized deterministic degeneralization

Details

Provenance

Julian Brunner <julianbrunner@gmail.com>

Authored on

Parents

rAFP49e0ab592007: generalized deterministic acceptance test

Branches

Unknown

Tags

Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFP2a4d3cb0f059: generalized deterministic degeneralization.Feb 9 2020, 1:14 AM

Changes (3)

Path

Size

thys/

Transition_Systems_and_Automata/

Automata/

DBA/

DBA_Combine.thy

DCA/

DCA_Combine.thy

Deterministic.thy

rAFP2a4d3cb0f059

thys/Transition_Systems_and_Automata/Automata/DBA/DBA_Combine.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DCA/DCA_Combine.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/Deterministic.thy

Loading...