HomeIsabelle/Phabricator
Diffusion afp-devel bb9ca3026763

cleanup
bb9ca3026763
Actions

Description

cleanup

Details

Provenance
Julian Brunner <julianbrunner@gmail.com>Authored on
Parents
rAFP7b3db2da4005: removed unneeded traces
Branches
Unknown
Tags
Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFPbb9ca3026763: cleanup.Jan 31 2020, 12:38 AM

Changes (2)

PathSize
thys/
Transition_Systems_and_Automata/
Automata/
NBA/

rAFPbb9ca3026763

View Options

thys/Transition_Systems_and_Automata/Automata/NBA/NBA_Graphs.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/Nondeterministic.thy

Loading...