Changes between Version 16 and Version 17 of Things To Do
- Timestamp:
- 02/07/10 10:01:46 (16 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Things To Do
v16 v17 55 55 * get rid of NEQ? Just use NOT(EQUAL). 56 56 57 Check out other automated theorem provers: 58 59 * http://symbolaris.com/orbital/index.html 57 60 58 61
