| author | wenzelm |
| Fri, 07 Mar 1997 14:52:19 +0100 | |
| changeset 2761 | fee689b7d813 |
| parent 2073 | fb0655539d05 |
| child 2832 | dd5022d8a551 |
| permissions | -rw-r--r-- |
|
2073
fb0655539d05
New unified treatment of sequent calculi by Sara Kalvala
paulson
parents:
diff
changeset
|
1 |
|
|
fb0655539d05
New unified treatment of sequent calculi by Sara Kalvala
paulson
parents:
diff
changeset
|
2 |
use "ex/LK/ROOT.ML"; |
|
fb0655539d05
New unified treatment of sequent calculi by Sara Kalvala
paulson
parents:
diff
changeset
|
3 |
use "ex/ILL/ROOT.ML"; |
|
fb0655539d05
New unified treatment of sequent calculi by Sara Kalvala
paulson
parents:
diff
changeset
|
4 |
use "ex/Modal/ROOT.ML"; |