author | wenzelm |
Mon, 30 Jun 2008 22:24:27 +0200 | |
changeset 27403 | 0fb81286c88f |
child 27442 | 2d16f20adb4d |
permissions | -rw-r--r-- |
27403 | 1 |
rename Distribution . |
2 |
rename CCL src/CCL |
|
3 |
rename CTT src/CTT |
|
4 |
rename Cube src/Cube |
|
5 |
rename FOL src/FOL |
|
6 |
rename FOLP src/FOLP |
|
7 |
rename HOL src/HOL |
|
8 |
rename HOLCF src/HOLCF |
|
9 |
rename LCF src/LCF |
|
10 |
rename LK src/LK |
|
11 |
rename Modal src/Modal |
|
12 |
rename Provers src/Provers |
|
13 |
rename Pure src/Pure |
|
14 |
rename Sequents src/Sequents |
|
15 |
rename Tools src/Tools |
|
16 |
rename ZF src/ZF |