Environment of named facts (admits overriding).  Optional indexing by proposition.
Environment of named facts (admits overriding).  Optional indexing by proposition.

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