| author | nipkow |
| Thu, 12 Oct 2000 18:38:23 +0200 | |
| changeset 10212 | 33fe2d701ddd |
| parent 9958 | 67f2920862c7 |
| permissions | -rw-r--r-- |
| nipkow@9958 | 1 |
use "../settings.ML"; |
| nipkow@9958 | 2 |
use_thy "PDL"; |
| nipkow@9958 | 3 |
use_thy "CTL"; |
| nipkow@10212 | 4 |
use_thy "CTLind"; |