Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

merged
Update Schutz_Spacetime chain (and other) definitions, notations, extra gorder proof, general cleanup corresponds to revisions to JAR paper

Changeset 12900:dffbafe5983e by Richard Schmoetten _richard.schmoetten@ed.ac.uk_: merged
Changeset 12899:ff8762a1868c by Richard Schmoetten _richard.schmoetten@ed.ac.uk_: Update Schutz_Spacetime<br><br>chain (and other) definitions, notations, extra gorder proof, general cleanup<br><br>corresponds to revisions to JAR paper
The file was added	`thys/Schutz_Spacetime/TemporalOrderExtra.thy`
The file was modified	`thys/Schutz_Spacetime/Minkowski.thy`
The file was modified	`thys/Schutz_Spacetime/ROOT`
The file was modified	`thys/Schutz_Spacetime/TemporalOrderOnPath.thy`
The file was modified	`thys/Schutz_Spacetime/TernaryOrdering.thy`
The file was modified	`thys/Schutz_Spacetime/Util.thy`
The file was modified	`thys/Schutz_Spacetime/document/root.bib`
The file was modified	`thys/Schutz_Spacetime/document/root.tex`