Am Montag, 21. April 2008 02:34 schrieb Daniel Fischer: > > This means that force (decode c) is reduced to head normal form, not fully > evaluated. Ooops, _weak_ head normal form, of course.