Fix syntax; apparently constant apply was introduced in an earlier changeset.
Fix syntax; apparently constant apply was introduced in an earlier changeset.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle