| changeset 72 | 099d949fe467 |
| parent 0 | a5a9c433f639 |
| child 121 | d392174734e9 |
| 71:729fe026c5f3 | 72:099d949fe467 |
|---|---|
4 Copyright 1991 University of Cambridge |
4 Copyright 1991 University of Cambridge |
5 *) |
5 *) |
6 |
6 |
7 val banner = "Modal Logic (over LK)"; |
7 val banner = "Modal Logic (over LK)"; |
8 writeln banner; |
8 writeln banner; |
9 |
|
10 set_loadpath [".", "../LK"]; |
|
9 |
11 |
10 use_thy "modal0"; |
12 use_thy "modal0"; |
11 |
13 |
12 structure Modal0_rls = |
14 structure Modal0_rls = |
13 struct |
15 struct |