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