Changes

Summary

Changeset 9335:6670e8f7b11f by nipkow: more adjustments to devel
The file was modified	`thys/Network_Security_Policy_Verification/Lib/Efficient_Distinct.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/TopoS_Vertices.thy` (diff)
Changeset 9334:6c34634cbe06 by nipkow: updated to devel
The file was modified	`thys/Abs_Int_ITP2012/Abs_State.thy` (diff)
The file was modified	`thys/Containers/List_Proper_Interval.thy` (diff)
The file was modified	`thys/Deriving/Comparator_Generator/Compare_Order_Instances.thy` (diff)
The file was modified	`thys/Formal_SSA/WhileGraphSSA.thy` (diff)
The file was modified	`thys/Isabelle_Meta_Model/toy_example/embedding/Init_rbt.thy` (diff)
The file was modified	`thys/LOFT/OpenFlow_Matches.thy` (diff)
The file was modified	`thys/MSO_Regex_Equivalence/Pi_Regular_Exp.thy` (diff)
The file was modified	`thys/MSO_Regex_Equivalence/Pi_Regular_Exp_Dual.thy` (diff)
The file was modified	`thys/Optimal_BST/Optimal_BST2.thy` (diff)
The file was modified	`thys/Optimal_BST/Optimal_BST_Code.thy` (diff)
The file was modified	`thys/Optimal_BST/Optimal_BST_Memo.thy` (diff)
The file was modified	`thys/Optimal_BST/Weighted_Path_Length.thy` (diff)
The file was modified	`thys/Polynomial_Factorization/ROOT` (diff)
The file was modified	`thys/Propositional_Proof_Systems/CNF_To_Formula.thy` (diff)