src/Tools/ftp_mkdirs.txt

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/ftp_mkdirs.txt	Thu Oct 26 11:47:25 1995 +0100
@@ -0,0 +1,38 @@
+mkdir CCL
+mkdir CCL/ex
+mkdir CTT
+mkdir CTT/ex
+mkdir Cube
+mkdir FOL
+mkdir FOL/ex
+mkdir FOLP
+mkdir FOLP/ex
+mkdir HOL
+mkdir HOL/AxClasses
+mkdir HOL/AxClasses/Group
+mkdir HOL/AxClasses/Tutorial
+mkdir HOL/IMP
+mkdir HOL/IOA
+mkdir HOL/IOA/ABP
+mkdir HOL/IOA/NTP
+mkdir HOL/IOA/meta_theory
+mkdir HOL/Integ
+mkdir HOL/Lambda
+mkdir HOL/Subst
+mkdir HOL/ex
+mkdir HOLCF
+mkdir HOLCF/ax_ops
+mkdir HOLCF/domain
+mkdir HOLCF/ex
+mkdir HOLCF/explicit_domains
+mkdir LCF
+mkdir LK
+mkdir LK/ex
+mkdir Modal
+mkdir Modal/ex
+mkdir ZF
+mkdir ZF/AC
+mkdir ZF/Coind
+mkdir ZF/IMP
+mkdir ZF/Resid
+mkdir ZF/ex