Logiweb bibliography of append

Logiweb bibliography of append in pyk

[0] append
[1] base
[2] check
[3] peano

The pyk compiler, version 0.grue.20050502 by Klaus Grue,
GRD-2005-06-02.UTC:19:54:02.237435 = MJD-53523.TAI:19:54:34.237435 = LGT-4624458874237435e-6