Trueprop: use ObjectLogic.judgment etc.; uniform Const of name * typargs, removed TConst;
Trueprop: use ObjectLogic.judgment etc.;
uniform Const of name * typargs, removed TConst;

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