TEXT MD5
   DIR algebra
   DIR analysis
   DIR circuits
  TEXT directory
   DIR geometry
  TEXT index
  HTML index.html
   DIR logic.problems
   DIR miscellany
   DIR pelletier
   DIR prog.verification
   DIR puzzles
   DIR set.theory
   DIR topology