home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / MANUAL10.REF < prev    next >
Text File  |  1996-06-04  |  118b  |  17 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. > 
  6. *** Yes
  7. > 
  8. *** Yes
  9. > int implies int
  10. int implies real
  11.  
  12. *** No
  13. > 3.45 implies real
  14.  
  15. *** No
  16. > 
  17.