Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Changeset 11163:ca5b629f4e0a by julian brunner _julianbrunner@gmail.com_: merged
Changeset 11162:f95fe1ab8980 by julian brunner _julianbrunner@gmail.com_: refactoring
The file was modified	`thys/Buchi_Complementation/Complementation.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Transition_Systems/Transition_System_Construction.thy`