Opened 16 years ago
Last modified 15 years ago
#105 closed enhancement
Add support for new statements: pushassumption, popassumption — at Initial Version
| Reported by: | zirkel | Owned by: | |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | multiple | Version: | |
| Keywords: | Cc: |
Description
Environment should maintain a stack of assumptions. Suppose the current assumption is p, and you then call:
pushassumption(q);
The new assumption is pq.
Calling:
popassumption();
makes the assumption again p.
Note:
See TracTickets
for help on using tickets.
