bug fix (Function::operator() const)
Merge branch 'master' of https://github.com/stesim/metamath

Just 'cause