Changes between Version 18 and Version 19 of Things To Do


Ignore:
Timestamp:
02/07/10 10:14:00 (16 years ago)
Author:
Stephen Siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Things To Do

    v18 v19  
    5555  * get rid of NEQ?  Just use NOT(EQUAL).
    5656
     57Additional features:
     58
     59 * valid methods should return one of three values: YES, NO, or MAYBE
     60
    5761Check out other automated theorem provers:
    5862