HomeIsabelle/Phabricator
Diffusion afp-devel dc3e35215567

updated basic theories
dc3e35215567
Actions

Description

updated basic theories

Details

Provenance
Julian Brunner <julianbrunner@gmail.com>Authored on
Parents
rAFP22263520f4c8: updated with guillemot syntax
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (8)

PathSize
thys/
Buchi_Complementation/
Transition_Systems_and_Automata/
Automata/
DBA/
DCA/
DRA/
Basic/

rAFPdc3e35215567

View Options

thys/Buchi_Complementation/Ranking.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/DBA/DBA_Combine.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/DCA/DCA_Combine.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/DRA/DRA_Combine.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Basic/Acceptance.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Basic/Basic.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Basic/Sequence.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Basic/Sequence_LTL.thy

Loading...