1625 Feb 24  1990 connectives.ms
     1977 Feb 24  1990 connectives.hlp
     1531 Feb 24  1990 formulae.hlp
     2405 Feb 24  1990 logic.ms
     1256 Feb 24  1990 output.ms
     1284 Feb 24  1990 axioms.ms
     1544 Feb 24  1990 axioms.hlp
     3247 Feb 24  1990 intro.ms
     1676 Feb 24  1990 output.hlp
     1225 Feb 24  1990 formulae.ms
     3285 Feb 24  1990 logic.hlp
     3966 Feb 24  1990 intro.hlp

.