Logically revert: "Replace Functions and FunctionTheorems with Fork variants#196

lemmy merged 2 commits intomastertlaplus/Examples:masterfrom

mku-forkstlaplus/Examples:mku-forksCopy head branch name to clipboard