home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / CHART_PA.R00 < prev    next >
Text File  |  1996-06-04  |  259b  |  22 lines
  1.  
  2. *** Yes
  3. > > 
  4. unify(0,0)   done
  5. unify(1,0)
  6. unify(1,0)
  7. unify(1,0)
  8. unify(0,1)
  9. unify(1,1)   done
  10. unify(1,1)   done
  11. unify(0,1)
  12. unify(1,1)   done
  13. unify(0,0)   done
  14. unify(1,0)
  15. unify(1,0)
  16. unify(1,0)
  17. unify(1,1)   done
  18. unify(1,1)   done
  19. unify(1,1)   done
  20. *** Yes
  21. > > 
  22.