Unify handling of proof mode terms#107

markusdemedeiros merged 4 commits intoleanprover-community:masterleanprover-community/iris-lean:masterfrom

MackieLoeffel:msammler/uniform_proof_mode_termMackieLoeffel/iris-lean:msammler/uniform_proof_mode_termCopy head branch name to clipboard