tuned;

more operations;

clarified scope of cache: avoid nested typ_cache;

clarified scope of cache: per theory body;

tuned module structure;

clarified signature: more operations;

merged

tuned

added nicer proof

better poller: don't start job when same version is already running;

clarified: more uniform;

merged

added lemmas wfp_on_antimono_stronger and wf_on_antimono_stronger

More streamlining

merged

Revised mixfix and streamlined proofs

clarified Isabelle/Haskell type Term, following Isabelle/Scala (see 446b887e23c7);

tuned output, following Isabelle/Scala;

clarified data representation: prefer explicit OFCLASS constructor, following datatype zterm;

clarified signature, following Isabelle/Scala;

afford larger example (see also ccf9241af217);

more scalable operations;

tuned;

tuned (see also 4879d0021185);

tuned signature;

merged

clarified signature: afford explicit Scala data types;

tuned signature;

tuned signature (again);

clarified signature: more self-contained paint_chunk_list;