renamed session TLA to HOL-TLA to avoid clash with AFP;
renamed session TLA to HOL-TLA to avoid clash with AFP;

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