Changes

Summary

merge from apf-2016-1
New entry Differential Dynamic Logic

Changeset 7628:1e5e97192c62 by kleing: merge from apf-2016-1
Changeset 7627:e03cc250ef6a by nipkow: New entry Differential Dynamic Logic
The file was added	`thys/Differential_Dynamic_Logic/Axioms.thy`
The file was added	`thys/Differential_Dynamic_Logic/Bound_Effect.thy`
The file was added	`thys/Differential_Dynamic_Logic/Coincidence.thy`
The file was added	`thys/Differential_Dynamic_Logic/Denotational_Semantics.thy`
The file was added	`thys/Differential_Dynamic_Logic/Differential_Axioms.thy`
The file was added	`thys/Differential_Dynamic_Logic/Differential_Dynamic_Logic.thy`
The file was added	`thys/Differential_Dynamic_Logic/Frechet_Correctness.thy`
The file was added	`thys/Differential_Dynamic_Logic/Ids.thy`
The file was added	`thys/Differential_Dynamic_Logic/Lib.thy`
The file was added	`thys/Differential_Dynamic_Logic/Pretty_Printer.thy`
The file was added	`thys/Differential_Dynamic_Logic/Proof_Checker.thy`
The file was added	`thys/Differential_Dynamic_Logic/ROOT`
The file was added	`thys/Differential_Dynamic_Logic/Static_Semantics.thy`
The file was added	`thys/Differential_Dynamic_Logic/Syntax.thy`
The file was added	`thys/Differential_Dynamic_Logic/USubst.thy`
The file was added	`thys/Differential_Dynamic_Logic/USubst_Lemma.thy`
The file was added	`thys/Differential_Dynamic_Logic/Uniform_Renaming.thy`
The file was added	`thys/Differential_Dynamic_Logic/document/root.bib`
The file was added	`thys/Differential_Dynamic_Logic/document/root.tex`
The file was added	`web/entries/Differential_Dynamic_Logic.shtml`
The file was modified	`metadata/metadata` (diff)
The file was modified	`thys/ROOTS` (diff)
The file was modified	`web/entries/Ordinary_Differential_Equations.shtml` (diff)
The file was modified	`web/index.shtml` (diff)
The file was modified	`web/statistics.shtml` (diff)
The file was modified	`web/topics.shtml` (diff)