home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / PRINT1.REF < prev    next >
Text File  |  1996-06-04  |  332b  |  33 lines
  1.  
  2. *** Yes
  3. > > (a ; b), c
  4. *** Yes
  5. > 
  6. *** Yes
  7. X = (a ; b).
  8. --1> (a ; b), c
  9. *** Yes
  10. X = (a ; b).
  11. ----2> 
  12. *** No
  13. X = (a ; b).
  14. --1> c,(a ; b)
  15. *** Yes
  16. X = (a ; b).
  17. ----2> 
  18. *** No
  19. X = (a ; b).
  20. --1> (X: (a ; b)),(X)
  21. *** Yes
  22. X = (a ; b).
  23. ----2> 
  24. *** No
  25. X = (a ; b).
  26. --1> (a ; b),(a ; b)
  27. *** Yes
  28. X = (a ; b).
  29. ----2> 
  30. *** No
  31. X = (a ; b).
  32. --1> 
  33.