home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / REFEXAMP / TRUE0.PRO < prev    next >
Encoding:
Text File  |  1990-03-26  |  160 b   |  9 lines
  1. %====================== true/0                ===============================
  2. Goal: true
  3. True
  4. Goal: not(true)
  5. False
  6. Goal: trap(exit,_,true)
  7. False
  8. Goal:
  9.