clarified AFP partitioning;

more balanced AFP partitioning;

more balanced AFP partitioning;

more balanced AFP partitioning;

tuned signature;

tuned signature;

clarifified selection: always wrt. build_graph structure;
tuned signature;

partition AFP sessions according to structure, which happens to cut it roughly into equal parts;

tuned;

entries_graph requires acyclic graph, but lazy val allows forming the AFP object nonetheless;

cycle check with informative error;

tuned: each session has at most one defining entry;

tuned: less oo-non-sense;

operations for graph display;

dependencies of entries vs. sessions;
json output like "isabelle afp_dependencies";
misc tuning;

some administrative support for AFP;