Skip to content
Success

Changes

Summary

  1. improved complementation implementation
Changeset 9044:5fa4b95165a6 by julian brunner _julianbrunner@gmail.com_:
improved complementation implementation
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/Transition_Systems_and_Automata/Automata/BA_Nodes.thy (diff)
The file was modified thys/Transition_Systems_and_Automata/Automata/BA_Translate.thy (diff)
The file was modified thys/Transition_Systems_and_Automata/Basic/Implement.thy (diff)