Changes

Summary

Changeset 7940:bc7c7279450c by eberlm _eberlm@in.tum.de_: Merged
Changeset 7939:0c9e6a93daae by eberlm _eberlm@in.tum.de_: Adapted to isabelle-dev 81574a7e7c38
The file was modified	`thys/Formal_SSA/Construct_SSA_notriv.thy` (diff)
The file was modified	`thys/Formal_SSA/FormalSSA_Misc.thy` (diff)
The file was modified	`thys/Formal_SSA/Graph_path.thy` (diff)
The file was modified	`thys/Functional-Automata/MaxPrefix.thy` (diff)
The file was modified	`thys/Myhill-Nerode/Closures.thy` (diff)
The file was modified	`thys/Myhill-Nerode/Closures2.thy` (diff)
The file was modified	`thys/Myhill-Nerode/Myhill_2.thy` (diff)
The file was modified	`thys/Regular-Sets/Equivalence_Checking.thy` (diff)
The file was modified	`thys/Well_Quasi_Orders/Almost_Full.thy` (diff)
The file was modified	`thys/Well_Quasi_Orders/Almost_Full_Relations.thy` (diff)
The file was modified	`thys/Well_Quasi_Orders/Higman_OI.thy` (diff)