Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-06-21 20:56:15 -0700 (Sat, 21 Jun 2003)
Revision: 4678
Log message:
In filter, I implemented exdplicit PRL bindings, so that embedding of terms and
opnames into expressions is explicit on the summary level (and only
degenerates to things like term_of_string internally in Filter_prog).
Still TODO: update display forms accordingly (should be really easy, actually!)