adapted to reorganization of auxiliary list operations; split off predicate compiler into separate theory
adapted to reorganization of auxiliary list operations; split off predicate compiler into separate theory

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