ftp://ftp.swiss.ai.mit.edu/pub/users/cph/macros/  direct

61.83 KB  1991-07-11tr356.ps.gz  3 mirrors
50.39 KB  1991-07-11tr355.ps.gz  3 mirrors
18.20 KB  2000-05-29syntax.tar.gz  3 mirrors
20.15 KB  1990-11-09prop.ps.gz  3 mirrors
29.34 KB  2000-05-04macinsch.ps.gz  3 mirrors
20.83 KB  2000-05-04exrename.ps.gz  3 mirrors