prefer naming convention from datatype package for strong congruence rules

redundant

split off theorems involving classes below metric_space and real_normed_vector

merged

merged

tuned analysis manual

tuned signature;

merged

clarified signature, notably cascade of dump_options, deps, resources, session;

unused;

clarified signature;

clarified errors, according to Isabelle/MMT; tuned signature;

tuned, according to Isabelle/MMT;

clarified options: ensure consolidated Node_Status and thus percentage = 100% for progress;

tuned;

merged

more capitalization

capitalize proper names in lemma names

explicit dependencies for includes

more correct handling of symbols for includes

more conservative update of Haskell stack (amending 04e54f57a869): 13.0 still lacks notable packages like "Agda" or "darcs";

merged;

clarified sessions_deps, according to Isabelle/MMT usage;

tuned signature: for other dump-like tools;

unused;

tuned;

clarified defaults via system options;

added bib-file

tuned headers etc, added bib-file

tuned style and headers

most of Topology_Euclidean_Space (now Elementary_Topology) requires fewer dependencies

merged

tuned headers

moved lemmas up

prove lemmas in context real_normed_vector

moved dependency

generalized to big sum

merged

tuned headers; ~ -> \<not>

update LTS Haskell version

{* verbatim *} is explicit legacy feature;

isabelle update_cartouches -t;

tuned -- avoid conflict with cartouche argument;

unused -- document lacks {* ... *};

more rules

tuned message;

tuned messages;

more Haskell operations: managed resources for threads;

more robust: suitable defaults for unmanaged threads;

more Haskell operations;

more Haskell operations;

proper cleanup;

more Haskell operations;

clarified;

tuned signature;

tuned;