Tutorial/slides.pdf
author Christian Urban <urbanc@in.tum.de>
Sat, 25 Jun 2011 21:28:24 +0100
changeset 2900 d66430c7c4f1
parent 2703 f3160f03fa23
permissions -rwxr-xr-x
an alternative FCB for Abs_lst1; seems simpler but not as simple as I thought; not sure whether it generalises to multiple binders.

(binary:application/pdf)