Changes

Summary

clarified import sessions;
tuned whitespace;

Changeset 8076:0c794b930967 by wenzelm: clarified import sessions;
The file was modified	`thys/Abstract_Completeness/ROOT` (diff)
The file was modified	`thys/Akra_Bazzi/ROOT` (diff)
The file was modified	`thys/Algebraic_Numbers/ROOT` (diff)
The file was modified	`thys/Algebraic_VCs/ROOT` (diff)
The file was modified	`thys/Amortized_Complexity/ROOT` (diff)
The file was modified	`thys/Bell_Numbers_Spivey/ROOT` (diff)
The file was modified	`thys/Berlekamp_Zassenhaus/ROOT` (diff)
The file was modified	`thys/Bertrands_Postulate/ROOT` (diff)
The file was modified	`thys/CAVA_Automata/ROOT` (diff)
The file was modified	`thys/CAVA_LTL_Modelchecker/ROOT` (diff)
The file was modified	`thys/Certification_Monads/ROOT` (diff)
The file was modified	`thys/Chord_Segments/ROOT` (diff)
The file was modified	`thys/Collections/ROOT` (diff)
The file was modified	`thys/Consensus_Refined/ROOT` (diff)
The file was modified	`thys/CryptHOL/ROOT` (diff)
The file was modified	`thys/Datatype_Order_Generator/ROOT` (diff)
The file was modified	`thys/Decreasing-Diagrams-II/ROOT` (diff)
The file was modified	`thys/Deep_Learning/ROOT` (diff)
The file was modified	`thys/Derangements/ROOT` (diff)
The file was modified	`thys/Deriving/ROOT` (diff)
The file was modified	`thys/Dict_Construction/ROOT` (diff)
The file was modified	`thys/Echelon_Form/ROOT` (diff)
The file was modified	`thys/Euler_MacLaurin/ROOT` (diff)
The file was modified	`thys/Euler_Partition/ROOT` (diff)
The file was modified	`thys/Finite_Automata_HF/ROOT` (diff)
The file was modified	`thys/Flow_Networks/ROOT` (diff)
The file was modified	`thys/Formal_SSA/ROOT` (diff)
The file was modified	`thys/Formula_Derivatives/ROOT` (diff)
The file was modified	`thys/Free-Groups/ROOT` (diff)
The file was modified	`thys/Gauss_Jordan/ROOT` (diff)
The file was modified	`thys/Girth_Chromatic/ROOT` (diff)
The file was modified	`thys/Heard_Of/ROOT` (diff)
The file was modified	`thys/Incompleteness/ROOT` (diff)
The file was modified	`thys/Incredible_Proof_Machine/ROOT` (diff)
The file was modified	`thys/JinjaThreads/ROOT` (diff)
The file was modified	`thys/Jordan_Hoelder/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/Koenigsberg_Friendship/ROOT` (diff)
The file was modified	`thys/LTL_to_DRA/ROOT` (diff)
The file was modified	`thys/LTL_to_GBA/ROOT` (diff)
The file was modified	`thys/Lambda_Free_KBOs/ROOT` (diff)
The file was modified	`thys/Landau_Symbols/ROOT` (diff)
The file was modified	`thys/Launchbury/ROOT` (diff)
The file was modified	`thys/Locally-Nameless-Sigma/ROOT` (diff)
The file was modified	`thys/Lp/ROOT` (diff)
The file was modified	`thys/MSO_Regex_Equivalence/ROOT` (diff)
The file was modified	`thys/Markov_Models/ROOT` (diff)
The file was modified	`thys/Myhill-Nerode/ROOT` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/ROOT` (diff)
The file was modified	`thys/Nominal2/ROOT` (diff)
The file was modified	`thys/Noninterference_Inductive_Unwinding/ROOT` (diff)
The file was modified	`thys/Noninterference_Ipurge_Unwinding/ROOT` (diff)
The file was modified	`thys/Noninterference_Sequential_Composition/ROOT` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/ROOT` (diff)
The file was modified	`thys/Perron_Frobenius/ROOT` (diff)
The file was modified	`thys/Polynomial_Factorization/ROOT` (diff)
The file was modified	`thys/Polynomial_Interpolation/ROOT` (diff)
The file was modified	`thys/Polynomials/ROOT` (diff)
The file was modified	`thys/Probabilistic_Noninterference/ROOT` (diff)
The file was modified	`thys/Probabilistic_System_Zoo/ROOT` (diff)
The file was modified	`thys/Probabilistic_While/ROOT` (diff)
The file was modified	`thys/Propositional_Proof_Systems/ROOT` (diff)
The file was modified	`thys/QR_Decomposition/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/Real_Impl/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/Separata/ROOT` (diff)
The file was modified	`thys/Separation_Logic_Imperative_HOL/ROOT` (diff)
The file was modified	`thys/Stirling_Formula/ROOT` (diff)
The file was modified	`thys/Stream-Fusion/ROOT` (diff)
The file was modified	`thys/Subresultants/ROOT` (diff)
The file was modified	`thys/Transitive-Closure/ROOT` (diff)
The file was modified	`thys/Tree-Automata/ROOT` (diff)
The file was modified	`thys/Twelvefold_Way/ROOT` (diff)
The file was modified	`thys/UpDown_Scheme/ROOT` (diff)
The file was modified	`thys/WHATandWHERE_Security/ROOT` (diff)
The file was modified	`thys/Well_Quasi_Orders/ROOT` (diff)
The file was modified	`thys/XML/ROOT` (diff)
Changeset 8075:a2f57f190f7e by wenzelm: tuned whitespace;
The file was modified	`thys/Propositional_Proof_Systems/ROOT` (diff)