Quelle  bug_15322.out   Sprache: unbekannt

x `+ (y `+ z)
     : nat
[x `+ (y `+ z)]
     : nat
fun x y z : nat => [x `+ (y `+ z)]
     : nat -> (nat -> (nat -> nat))
fun x y z : nat => [x `+ (y `+ z)]
     : nat -> (nat -> (nat -> nat))