Changes

Summary

Improve readability of document for Differential_Dynamic_Logic

Changeset 7645:20d2a76c2d99 by bbohrer@cs.cmu.edu: Improve readability of document for Differential_Dynamic_Logic
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/Ids.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/Lib.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)
The file was modified	`thys/Differential_Dynamic_Logic/document/root.bib` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/document/root.tex` (diff)