progs/defs.fun
changeset 716 6a2edc950109
parent 695 a936b1717b1b