1 Theories:

     2 =========

     3 

     4  Precedence_ord.thy      A theory of precedences.

     5  Moment.thy              The notion of moment.

     6  PrioGDef.thy            The formal definition of the PIP-model.

     7  PrioG.thy               Basic properties of the PIP-model.

     8  ExtGG.thy               The correctness proof of the PIP-model.

     9  CpsG.thy                Properties interesting for an implementation.

    10 

    11 The repository can be checked using Isabelle 2011-1.

    12 

    13   isabelle make session

    14