changeset 4446 | 097004a470fb |
parent 2832 | dd5022d8a551 |
4445:de74b549f976 | 4446:097004a470fb |
---|---|
3 Sequents_build_completed; |
3 Sequents_build_completed; |
4 |
4 |
5 use "LK/ROOT.ML"; |
5 use "LK/ROOT.ML"; |
6 use "ILL/ROOT.ML"; |
6 use "ILL/ROOT.ML"; |
7 use "Modal/ROOT.ML"; |
7 use "Modal/ROOT.ML"; |
8 |
|
9 OS.FileSys.chDir ".."; |
|
10 maketest"END: Root file for Sequents examples"; |