| changeset 45 | fc83f79009bd |
| parent 35 | 92f61f6a0fe7 |
| child 47 | 2e6c8d530216 |
| 44:f676a68935a0 | 45:fc83f79009bd |
|---|---|
10 CpsG.thy Properties interesting for an implementation. |
10 CpsG.thy Properties interesting for an implementation. |
11 |
11 |
12 |
12 |
13 The repository can be checked using Isabelle 2013-2. |
13 The repository can be checked using Isabelle 2013-2. |
14 |
14 |
15 isabelle build -d . PIP |
15 isabelle build -c -v -d . PIP |
16 |
16 |
17 |
17 |
18 Othe directories are: |
18 Othe directories are: |
19 ===================== |
19 ===================== |
20 |
20 |