Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more consistent büchi automata naming scheme
Changeset 9068:2459418a0491 by julian brunner _julianbrunner@gmail.com_:
more consistent büchi automata naming scheme
The file was addedthys/Transition_Systems_and_Automata/Automata/NBA.thy
The file was addedthys/Transition_Systems_and_Automata/Automata/NBA_Explicit.thy
The file was addedthys/Transition_Systems_and_Automata/Automata/NBA_Implement.thy
The file was addedthys/Transition_Systems_and_Automata/Automata/NBA_Nodes.thy
The file was addedthys/Transition_Systems_and_Automata/Automata/NBA_Refine.thy
The file was addedthys/Transition_Systems_and_Automata/Automata/NBA_Translate.thy
The file was modified thys/Buchi_Complementation/Complementation.thy (diff)
The file was modified thys/Buchi_Complementation/Complementation_Final.thy (diff)
The file was modified thys/Buchi_Complementation/Complementation_Implement.thy (diff)
The file was modified thys/Buchi_Complementation/Graph.thy (diff)
The file was modified thys/Buchi_Complementation/Ranking.thy (diff)
The file was modified thys/Transition_Systems_and_Automata/ROOT (diff)
The file was removedthys/Transition_Systems_and_Automata/Automata/BA.thy
The file was removedthys/Transition_Systems_and_Automata/Automata/BA_Explicit.thy
The file was removedthys/Transition_Systems_and_Automata/Automata/BA_Implement.thy
The file was removedthys/Transition_Systems_and_Automata/Automata/BA_Nodes.thy
The file was removedthys/Transition_Systems_and_Automata/Automata/BA_Refine.thy
The file was removedthys/Transition_Systems_and_Automata/Automata/BA_Translate.thy