Summary
- 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) |