1 Precedence_ord.thy      A theory for precedence.

     1 Theories:

     2 Moment.thy              A theory for the notion of moment.

     2 =========

     3 PrioGDef.thy            The formal definition of the model.

     3 

     4 PrioG.thy               Basic properties of the formal model.

     4  Precedence_ord.thy      A theory of precedences.

     5 ExtGG.thy               Formal correctness proof of the formal model.

     5  Moment.thy              The notion of moment.

     6 CpsG.thy                Properties used to guide implementation.

     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