renamed 'const_syntax' to 'notation'; proper notation for fixed variables;
renamed 'const_syntax' to 'notation';
proper notation for fixed variables;

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