Changes between Initial Version and Version 1 of Ticket #105
- Timestamp:
- 12/01/09 10:33:50 (16 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #105 – Description
initial v1 3 3 pushassumption(q); 4 4 5 The new assumption is p ^q.5 The new assumption is p && q. 6 6 7 7 Calling:
