Diffusion afp-devel 8e4020889297

added n-ary NBA intersection
8e4020889297
Actions

Tags

None

Subscribers

None

Description

added n-ary NBA intersection

Details

Provenance

Julian Brunner <julianbrunner@gmail.com>

Authored on

Parents

rAFPdb2fc75a68cc: more topics

Branches

Unknown

Tags

Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFP8e4020889297: added n-ary NBA intersection.Jan 21 2020, 2:27 PM

Changes (5)

Path

Size

thys/

Transition_Systems_and_Automata/

Automata/

Deterministic.thy

NBA/

NBA_Combine.thy

Nondeterministic.thy

Basic/

Sequence_Zip.thy

rAFP8e4020889297

thys/Transition_Systems_and_Automata/Automata/Deterministic.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/NBA/NBA_Combine.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/Nondeterministic.thy

Loading...

thys/Transition_Systems_and_Automata/Basic/Sequence.thy

Loading...

thys/Transition_Systems_and_Automata/Basic/Sequence_Zip.thy

Loading...