| author | wenzelm |
| Wed, 02 Jul 2008 20:31:06 +0200 | |
| changeset 27447 | 0761334cd591 |
| parent 27442 | 2d16f20adb4d |
| child 28117 | 83b1f0f7de99 |
| permissions | -rw-r--r-- |
rename Doc doc-src 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