HomeIsabelle/Phabricator

Update Schutz_Spacetime

Description

Update Schutz_Spacetime

chain (and other) definitions, notations, extra gorder proof, general cleanup

corresponds to revisions to JAR paper

Details

Provenance
Richard Schmoetten <richard.schmoetten@ed.ac.uk>Authored on
Parents
rAFP04bb771f4700: more politically correct
Branches
Unknown
Tags
Unknown

Event Timeline

Richard Schmoetten <richard.schmoetten@ed.ac.uk> committed rAFPff8762a1868c: Update Schutz_Spacetime.Fri, Aug 5, 2:42 PM