Pure/Syntax/printer/is_prop: now calls fastype_of1
Pure/Syntax/printer/is_prop: now calls fastype_of1

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