Changes

Summary

clarified imports;

Changeset 8014:342bb455c72a by wenzelm: clarified imports;
The file was modified	`thys/Abstract-Rewriting/ROOT` (diff)
The file was modified	`thys/Coinductive_Languages/ROOT` (diff)
The file was modified	`thys/Collections/ROOT` (diff)
The file was modified	`thys/Comparison_Sort_Lower_Bound/ROOT` (diff)
The file was modified	`thys/Containers/ROOT` (diff)
The file was modified	`thys/DataRefinementIBP/ROOT` (diff)
The file was modified	`thys/Datatype_Order_Generator/ROOT` (diff)
The file was modified	`thys/Deriving/ROOT` (diff)
The file was modified	`thys/Finite_Automata_HF/ROOT` (diff)
The file was modified	`thys/Flyspeck-Tame/ROOT` (diff)
The file was modified	`thys/Formula_Derivatives/ROOT` (diff)
The file was modified	`thys/Functional-Automata/ROOT` (diff)
The file was modified	`thys/GraphMarkingIBP/ROOT` (diff)
The file was modified	`thys/Jinja/ROOT` (diff)
The file was modified	`thys/JinjaThreads/ROOT` (diff)
The file was modified	`thys/Jordan_Normal_Form/ROOT` (diff)
The file was modified	`thys/KBPs/ROOT` (diff)
The file was modified	`thys/LTL_to_DRA/ROOT` (diff)
The file was modified	`thys/List_Update/ROOT` (diff)
The file was modified	`thys/MSO_Regex_Equivalence/ROOT` (diff)
The file was modified	`thys/Myhill-Nerode/ROOT` (diff)
The file was modified	`thys/Nested_Multisets_Ordinals/ROOT` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/ROOT` (diff)
The file was modified	`thys/Planarity_Certificates/ROOT` (diff)
The file was modified	`thys/Quick_Sort_Cost/ROOT` (diff)
The file was modified	`thys/ROBDD/ROOT` (diff)
The file was modified	`thys/Randomised_Social_Choice/ROOT` (diff)
The file was modified	`thys/Refine_Imperative_HOL/ROOT` (diff)
The file was modified	`thys/Regex_Equivalence/ROOT` (diff)
The file was modified	`thys/Rewriting_Z/ROOT` (diff)
The file was modified	`thys/Separation_Logic_Imperative_HOL/ROOT` (diff)
The file was modified	`thys/Transitive-Closure-II/ROOT` (diff)
The file was modified	`thys/Well_Quasi_Orders/ROOT` (diff)