added extern_fact (local or global); more procise printing of fact names;
added extern_fact (local or global);
more procise printing of fact names;

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