equal
deleted
inserted
replaced
6 PrioGDef.thy The formal definition of the PIP-model. |
6 PrioGDef.thy The formal definition of the PIP-model. |
7 PrioG.thy Basic properties of the PIP-model. |
7 PrioG.thy Basic properties of the PIP-model. |
8 ExtGG.thy The correctness proof of the PIP-model. |
8 ExtGG.thy The correctness proof of the PIP-model. |
9 CpsG.thy Properties interesting for an implementation. |
9 CpsG.thy Properties interesting for an implementation. |
10 |
10 |
11 The repository can be checked using Isabelle 2011-1. |
11 The repository can be checked using Isabelle 2013-2. |
12 |
12 |
13 isabelle make session |
13 isabelle build -d . PIP |
14 |
14 |
|
15 |
|
16 Othe directories are: |
|
17 ===================== |
|
18 |
|
19 Slides |
|
20 Paper |
|
21 Journal |
|
22 Literature |
|
23 |
|
24 |
|
25 |
|
26 |
|
27 |