progs/defs.fun
changeset 700 f1d4d582ac29
parent 695 a936b1717b1b