equal
deleted
inserted
replaced
11 PIPBasics.thy Basic properties of the PIP-model. |
11 PIPBasics.thy Basic properties of the PIP-model. |
12 Correctness.thy The correctness proof of the PIP-model. |
12 Correctness.thy The correctness proof of the PIP-model. |
13 Implementation.thy Properties interesting for an implementation. |
13 Implementation.thy Properties interesting for an implementation. |
14 |
14 |
15 |
15 |
16 The repository can be checked using Isabelle 2013-2. |
16 The repository can be checked using Isabelle 2016. |
17 |
17 |
18 isabelle build -c -v -d . PIP |
18 isabelle build -c -v -d . PIP |
19 |
19 |
20 |
20 |
21 Othe directories are: |
21 Othe directories are: |