Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. improved complementation implementation
Changeset 9058:0ef231439d9d 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/Transition_Systems_and_Automata/Automata/BA_Nodes.thy (diff)
The file was modified thys/Transition_Systems_and_Automata/Automata/BA_Translate.thy (diff)