progs/defs.fun
changeset 709 c112a6cb5e52
parent 695 484b74bc057e