Changes

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

Summary

  1. merged
  2. Update Schutz_Spacetime chain (and other) definitions, notations, extra gorder proof, general cleanup corresponds to revisions to JAR paper
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 addedthys/Schutz_Spacetime/TemporalOrderExtra.thy
The file was modifiedthys/Schutz_Spacetime/Minkowski.thy
The file was modifiedthys/Schutz_Spacetime/ROOT
The file was modifiedthys/Schutz_Spacetime/TemporalOrderOnPath.thy
The file was modifiedthys/Schutz_Spacetime/TernaryOrdering.thy
The file was modifiedthys/Schutz_Spacetime/Util.thy
The file was modifiedthys/Schutz_Spacetime/document/root.bib
The file was modifiedthys/Schutz_Spacetime/document/root.tex