| changeset 27403 | 0fb81286c88f |
| child 27442 | 2d16f20adb4d |
| 27402:253a06dfadce | 27403:0fb81286c88f |
|---|---|
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 |