TEXT MD5
   BIN audun.ps.Z
   BIN cattel.ps.Z
   BIN doronLTL.ps.Z
   BIN doronPO.ps.Z
   BIN duval.ps.Z
   BIN erdogmus.ps.Z
   BIN godefroid.ps.Z
   BIN jc.ps.Z
   BIN kars.ps.Z
   BIN leue.ps.Z
   BIN lin.ps.Z
   BIN manione.ps.Z
   BIN najm.ps.Z
  HTML papers.html
   BIN rahard.ps.Z
  HTML spin95_abstracts.html
   BIN staskauskas.ps.Z
   BIN toc.ps.Z
   BIN tripakis.ps.Z
  TEXT workshop95.tex