Changes

Summary

clarified theory imports;
uniform use of Standard ML op-infix -- eliminated warnings;
prefer formal comments;

Changeset 8731:7c451cd0d3d2 by wenzelm: clarified theory imports;
The file was modified	`thys/Differential_Dynamic_Logic/Axioms.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/Bound_Effect.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/Coincidence.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/Denotational_Semantics.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/Differential_Axioms.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/Differential_Dynamic_Logic.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/Frechet_Correctness.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/Pretty_Printer.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/Proof_Checker.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/Static_Semantics.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/Syntax.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/USubst.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/USubst_Lemma.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/Uniform_Renaming.thy` (diff)
Changeset 8730:f0c28c95e217 by wenzelm: uniform use of Standard ML op-infix -- eliminated warnings;
The file was modified	`thys/Affine_Arithmetic/Floatarith_Expression.thy` (diff)
The file was modified	`thys/Akra_Bazzi/akra_bazzi.ML` (diff)
The file was modified	`thys/Automatic_Refinement/Lib/Indep_Vars.thy` (diff)
The file was modified	`thys/Automatic_Refinement/Lib/Mk_Term_Antiquot.thy` (diff)
The file was modified	`thys/Automatic_Refinement/Lib/Mpat_Antiquot.thy` (diff)
The file was modified	`thys/Automatic_Refinement/Lib/Refine_Util.thy` (diff)
The file was modified	`thys/Automatic_Refinement/Lib/Select_Solve.thy` (diff)
The file was modified	`thys/Automatic_Refinement/Lib/Tagged_Solver.thy` (diff)
The file was modified	`thys/Automatic_Refinement/Tool/Autoref_Fix_Rel.thy` (diff)
The file was modified	`thys/Automatic_Refinement/Tool/Autoref_Phases.thy` (diff)
The file was modified	`thys/Collections/ICF/tools/Ord_Code_Preproc.thy` (diff)
The file was modified	`thys/Complx/lib/Cache_Tactics.thy` (diff)
The file was modified	`thys/Nominal2/Nominal2.thy` (diff)
The file was modified	`thys/Nominal2/Nominal2_Abs.thy` (diff)
The file was modified	`thys/Nominal2/nominal_library.ML` (diff)
The file was modified	`thys/Probabilistic_System_Zoo/Probabilistic_Hierarchy.thy` (diff)
The file was modified	`thys/Randomised_Social_Choice/Automation/Preference_Profile_Cmd.thy` (diff)
The file was modified	`thys/Refine_Imperative_HOL/Lib/User_Smashing.thy` (diff)
The file was modified	`thys/Refine_Monadic/Generic/RefineG_Transfer.thy` (diff)
The file was modified	`thys/Refine_Monadic/Refine_Automation.thy` (diff)
The file was modified	`thys/Word_Lib/WordBitwise_Signed.thy` (diff)
Changeset 8729:ca9100d45afb by wenzelm: prefer formal comments;
The file was modified	`thys/Differential_Dynamic_Logic/Denotational_Semantics.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/Differential_Axioms.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/Lib.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/Proof_Checker.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/Syntax.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/USubst_Lemma.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/Uniform_Renaming.thy` (diff)
The file was modified	`thys/Featherweight_OCL/UML_State.thy` (diff)
The file was modified	`thys/Featherweight_OCL/collection_types/UML_Set.thy` (diff)
The file was modified	`thys/Featherweight_OCL/examples/Employee_Model/Analysis/Analysis_OCL.thy` (diff)
The file was modified	`thys/Featherweight_OCL/examples/Employee_Model/Analysis/Analysis_UML.thy` (diff)
The file was modified	`thys/Featherweight_OCL/examples/Employee_Model/Design/Design_OCL.thy` (diff)
The file was modified	`thys/Featherweight_OCL/examples/Employee_Model/Design/Design_UML.thy` (diff)
The file was modified	`thys/Knuth_Morris_Pratt/KMP.thy` (diff)
The file was modified	`thys/Prpu_Maxflow/Fifo_Push_Relabel.thy` (diff)
The file was modified	`thys/Prpu_Maxflow/Relabel_To_Front.thy` (diff)