author | wenzelm |
Mon, 30 Jun 2008 22:24:27 +0200 | |
changeset 27403 | 0fb81286c88f |
child 27442 | 2d16f20adb4d |
permissions | -rw-r--r-- |
rename Distribution . rename CCL src/CCL rename CTT src/CTT rename Cube src/Cube rename FOL src/FOL rename FOLP src/FOLP rename HOL src/HOL rename HOLCF src/HOLCF rename LCF src/LCF rename LK src/LK rename Modal src/Modal rename Provers src/Provers rename Pure src/Pure rename Sequents src/Sequents rename Tools src/Tools rename ZF src/ZF