progs/defs.fun
changeset 710 ba35058db273
parent 695 a936b1717b1b