File psl-1983/3-1/tests/tak.sl artifact 92d6e4c353 part of check-in 955d0a90a7
(de topleveltak (x y z) (tak x y z)) (de tak (x y z) (cond ((null (ilessp y x)) z) (t (tak (tak (isub1 x) y z) (tak (isub1 y) z x) (tak (isub1 z) x y)))))
(de topleveltak (x y z) (tak x y z)) (de tak (x y z) (cond ((null (ilessp y x)) z) (t (tak (tak (isub1 x) y z) (tak (isub1 y) z x) (tak (isub1 z) x y)))))