home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / DISEQUAL.L01 < prev    next >
Text File  |  1996-06-04  |  70b  |  11 lines
  1.  
  2. a <| c.
  3. a <| d.
  4.  
  5. b <| c.
  6. b <| d.
  7.  
  8. f(X,X,X,X,X,X) -> 1.
  9.  
  10. g(X,X) -> 1.
  11.