| changeset 237 | 06a6db387cd2 |
| parent 174 | 3674347dd98e |
| child 272 | 42f2c28d1ce6 |
| 236:6b6d71d14e75 | 237:06a6db387cd2 |
|---|---|
24 |
24 |
25 Attic - old files |
25 Attic - old files |
26 Literature - related work |
26 Literature - related work |
27 |
27 |
28 |
28 |
29 isabelle build -d . UTM |
|
29 isabelle make utm -- creates the big session file |
30 isabelle make utm -- creates the big session file |
31 |
|
30 isabelle make itp -- creates paper |
32 isabelle make itp -- creates paper |