TEXT MD5
  TEXT axioms.hlp
  TEXT axioms.ms
  TEXT connectives.hlp
  TEXT connectives.ms
  TEXT directory
  TEXT formulae.hlp
  TEXT formulae.ms
  TEXT index
  HTML index.html
  TEXT intro.hlp
  TEXT intro.ms
  TEXT logic.hlp
  TEXT logic.ms
  TEXT output.hlp
  TEXT output.ms