Summary
- added profiling setup
- merged
- preparing for more efficient implementation
- removed unused implementation
The file was added | thys/Buchi_Complementation/code/Complementation.mlb |
The file was added | thys/Buchi_Complementation/code/Complementation.sml |
The file was added | thys/Buchi_Complementation/code/Makefile |
The file was added | thys/Buchi_Complementation/code/Unsynchronized.sml |
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_Translate.thy (diff) |
The file was modified | thys/Transition_Systems_and_Automata/Basic/Implement.thy (diff) |
The file was modified | thys/Transition_Systems_and_Automata/Basic/Implement.thy (diff) |