281
|
1 |
Precedence_ord.thy A theory for precedence.
|
|
2 |
Moment.thy A theory for the notion of moment.
|
|
3 |
PrioGDef.thy The formal definition of the model.
|
|
4 |
PrioG.thy Basic properties of the formal model.
|
|
5 |
ExtGG.thy Formal correctness proof of the formal model.
|
|
6 |
CpsG.thy Properties used to guide implementation. |