progs/defs.fun
changeset 727 a526f7f20cad
parent 695 a936b1717b1b