equal
deleted
inserted
replaced
1 |
1 |
2 |
2 |
3 Theories: |
3 Theories: |
4 ========= |
4 ========= |
5 |
5 |
|
6 Graphs.thy A relational graph library |
|
7 RTree Rooted tree graphs |
6 Max.thy Some generic facts about Max. |
8 Max.thy Some generic facts about Max. |
7 Precedence_ord.thy A theory of precedences. |
9 Precedence_ord.thy A theory of precedences. |
8 Moment.thy The notion of moment. |
|
9 PIPDefs.thy The formal definition of the PIP-model. |
10 PIPDefs.thy The formal definition of the PIP-model. |
10 PIPBasics.thy Basic properties of the PIP-model. |
11 PIPBasics.thy Basic properties of the PIP-model. |
11 Correctness.thy The correctness proof of the PIP-model. |
12 Correctness.thy The correctness proof of the PIP-model. |
12 Implementation.thy Properties interesting for an implementation. |
13 Implementation.thy Properties interesting for an implementation. |
13 |
14 |
23 Slides |
24 Slides |
24 Paper |
25 Paper |
25 Journal: isabelle build -c -v -d . Journal |
26 Journal: isabelle build -c -v -d . Journal |
26 Literature |
27 Literature |
27 |
28 |
28 Test 9 |
|
29 |
29 |
30 |
30 |
31 |
31 |
32 |
32 |
33 |
33 |
34 |
34 |
|
35 |