Changes between Version 1 and Version 2 of Ticket #105


Ignore:
Timestamp:
12/01/09 10:34:16 (16 years ago)
Author:
zirkel
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #105 – Description

    v1 v2  
    11Environment should maintain a stack of assumptions.  Suppose the current assumption is p, and you then call:
    22
    3 pushassumption(q);
     3{{{pushassumption(q);}}}
    44
    5 The new assumption is p && q.
     5The new assumption is {{{p && q}}}.
    66
    77Calling:
    88
    9 popassumption();
     9{{{popassumption();}}}
    1010
    1111makes the assumption again p.