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