On 2013-02-07, Stavros Macrakis <macrakis at alum.mit.edu> wrote: > We probably need an "undeclare" function.... (I don't think there is one > now). 'remove' undoes the effect of 'declare'. best, Robert Dodier