home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / REFEXAMP.ARC / EXSTFILE.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  180 b   |  8 lines
  1. %====================== existfile/1           ===============================
  2. Goal: existfile("dd.txt")
  3. True
  4. Goal: deletefile("dd.txt")
  5. True
  6. Goal: existfile("dd.txt")
  7. False
  8.