Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

refactoring

Changeset 10455:6197fe173c6f by julian brunner _julianbrunner@gmail.com_: refactoring
The file was modified	`thys/Buchi_Complementation/Complementation.thy`
The file was modified	`thys/Buchi_Complementation/Complementation_Final.thy`
The file was modified	`thys/Buchi_Complementation/Complementation_Implement.thy`
The file was modified	`thys/Buchi_Complementation/Graph.thy`
The file was modified	`thys/Buchi_Complementation/code/Complementation.sml`
The file was modified	`thys/LTL_Master_Theorem/Code_Export.thy`
The file was modified	`thys/LTL_Master_Theorem/LTL_to_DRA/DRA_Construction.thy`
The file was modified	`thys/LTL_Master_Theorem/LTL_to_DRA/DRA_Implementation.thy`
The file was modified	`thys/LTL_Master_Theorem/code/hoa.sml`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/DBA/DBA.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/DBA/DBA_Combine.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/DBA/DGBA.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/DCA/DCA.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/DCA/DCA_Combine.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/DCA/DGCA.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/DRA/DRA.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/DRA/DRA_Combine.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/DRA/DRA_Explicit.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/DRA/DRA_Implement.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/DRA/DRA_Nodes.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/DRA/DRA_Refine.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/DRA/DRA_Translate.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/NBA/NBA.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/NBA/NBA_Algorithms.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/NBA/NBA_Explicit.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/NBA/NBA_Graphs.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/NBA/NBA_Implement.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/NBA/NBA_Refine.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/NBA/NBA_Translate.thy`