| #
f9bf2f12 |
|
05-Oct-2012 |
Thomas Tuerk <tt291@cl.cam.ac.uk> |
A bit more work on list_qp in order to handle LENGTH. For
LENGTH with large numbers, list_len_qp added.
Experimental support for removing redundant function application on
quantified variables added.
|