HomeIsabelle/Phabricator
Diffusion afp-devel 35132c29d428

generalized acceptance test
35132c29d428
Actions

Description

generalized acceptance test

Details

Provenance
Julian Brunner <julianbrunner@gmail.com>Authored on
Parents
rAFP8a97181d7212: More lemmas, especially about cardinals and the Aleph sequence
Branches
Unknown
Tags
Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFP35132c29d428: generalized acceptance test.Jan 30 2020, 10:21 PM

Changes (4)

PathSize
thys/
Transition_Systems_and_Automata/
Automata/
NBA/

rAFP35132c29d428

View Options

thys/Transition_Systems_and_Automata/Automata/NBA/NBA.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/NBA/NBA_Combine.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/NBA/NGBA.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/Nondeterministic.thy

Loading...