progs/fun/defs.fun
changeset 1000 ff0c787f7c7c
parent 735 fc2e3609d5e5
child 1010 ae9ffbf979ff
equal deleted inserted replaced
999:e719e420cbc7 1000:ff0c787f7c7c