Timeline

05/23/11:

11:35 Ticket #178 (Number of bound variables in a symbolic quantifier expression) closed by Stephen Siegel

wontfix: Don't see advantage in this at this moment. Equivalent to forall x …

11:24 WikiStart edited by Stephen Siegel

(diff)

11:23 WikiStart edited by Stephen Siegel

(diff)

05/22/11:

15:02 Summer 2011 edited by Stephen Siegel

(diff)

15:01 Summer 2011 created by Stephen Siegel

14:50 WikiStart edited by Stephen Siegel

(diff)

14:49 WikiStart edited by Stephen Siegel

(diff)

14:47 AST edited by Stephen Siegel

(diff)

05/16/11:

18:35 Ticket #293 (Handle casts in simplifier) closed by Stephen Siegel

fixed: new substituter used.