Precedence_ord.thy      A theory for precedence.
Moment.thy              A theory for the notion of moment.
PrioGDef.thy            The formal definition of the model.
PrioG.thy               Basic properties of the formal model.
ExtGG.thy               Formal correctness proof of the formal model.
CpsG.thy                Properties used to guide implementation.