Diffusion afp-devel ad3aff5eb868

minor adjustments to automata library
ad3aff5eb868
Actions

Tags

None

Subscribers

None

Description

minor adjustments to automata library

Details

Provenance

Julian Brunner <julianbrunner@gmail.com>

Authored on

Parents

rAFP60862c9ef07b: refactored degeneralization

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (5)

Path

Size

thys/

Buchi_Complementation/

LTL_Master_Theorem/

LTL_to_DRA/

DRA_Construction.thy

Transition_Systems_and_Automata/

Automata/

DCA/

DCA_Combine.thy

Transition_Systems/

Transition_System_Extra.thy

rAFPad3aff5eb868

thys/Buchi_Complementation/Ranking.thy

Loading...

thys/LTL_Master_Theorem/LTL_to_DRA/DRA_Construction.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DCA/DCA.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DCA/DCA_Combine.thy

Loading...

thys/Transition_Systems_and_Automata/Transition_Systems/Transition_System_Extra.thy

Loading...