Skip to content
Success

Changes

Summary

  1. improved büchi complementation implementation
Changeset 9018:d0c921e89a37 by julian brunner _julianbrunner@gmail.com_:
improved büchi complementation implementation
The file was modified thys/Buchi_Complementation/Complementation_Final.thy (diff)
The file was modified thys/Buchi_Complementation/code/Complementation.sml (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)