| author | wenzelm |
| Wed, 02 Jul 2008 18:13:10 +0200 | |
| changeset 27442 | 2d16f20adb4d |
| parent 27403 | 0fb81286c88f |
| child 27447 | 0761334cd591 |
| permissions | -rw-r--r-- |
exclude Distribution/bin/Isabelle 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