# HG changeset patch
# User wenzelm
# Date 1214857467 -7200
# Node ID 0fb81286c88fb0382d67882444d3318fec31c06e
# Parent  253a06dfadcec43d22ae8a5ba16773b8471c37e9
filemap for CVS -> Mercurial conversion;

diff -r 253a06dfadce -r 0fb81286c88f Admin/Mercurial/filemap
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Mercurial/filemap	Mon Jun 30 22:24:27 2008 +0200
@@ -0,0 +1,16 @@
+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