Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. refactored automata algorithms, added emptiness check
Changeset 10200:ef212a8890d2 by julian brunner _julianbrunner@gmail.com_:
refactored automata algorithms, added emptiness check
The file was addedthys/Transition_Systems_and_Automata/Automata/NBA_Algorithms.thy
The file was addedthys/Transition_Systems_and_Automata/Automata/NBA_Graphs.thy
The file was modified thys/Transition_Systems_and_Automata/Automata/NBA_Explicit.thy
The file was modified thys/Transition_Systems_and_Automata/ROOT
The file was removedthys/Transition_Systems_and_Automata/Automata/NBA_Nodes.thy