src/ZF/func.ML
changeset 2003 b48f066d52dc
parent 1461 6bcb44e4d6e5
child 2033 639de962ded4
equal deleted inserted replaced
2002:ed423882c6a9 2003:b48f066d52dc