Diffusion afp-devel e92e80d9cb16

made NBA translation explicit
e92e80d9cb16
Actions

Tags

None

Subscribers

None

Description

made NBA translation explicit

Details

Provenance

Julian Brunner <julianbrunner@gmail.com>

Authored on

Parents

rAFPf9adabfbcca6: merge

Branches

Unknown

Tags

Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFPe92e80d9cb16: made NBA translation explicit.Oct 14 2019, 4:45 PM

Changes (2)

Path

Size

thys/

Buchi_Complementation/

Complementation_Final.thy

Transition_Systems_and_Automata/

Automata/

NBA/

NBA_Translate.thy

rAFPe92e80d9cb16

thys/Buchi_Complementation/Complementation_Final.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/NBA/NBA_Translate.thy

Loading...