de-duplicated specification of class ring_bit_operations

de-duplicated specification of class ring_bit_operations

adjusted T_sift_down: all primitives take 0 time.

added missing file following 2702f2046afa

documented change in VeriComp

added framework-independent lemma to lift simulation to bisimulation

generalized

restructured

grouped lemmas for symbolic computations

sorted out lemma duplicates

more reactive headless server, in contrast to 15656ad28691 (when "isabelle…

tuned whitespace;

clarified modules;

clarified signature;

clarified modules;

clarified modules: Build_Log.private_data provides raw data access without…

more thorough transaction_lock;

obsolete, see also a5896fe040dd;

removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf);

provide src/Tools/Demo as example for system component with Isabelle/Scala tool;

merged

clarified buffer_size;

more uniform buffer_size (see also c83cdd300848 and 26c790a6ce43);

merged

disable unix_domain for now: somewhat unstable, e.g. "isabelle build -b HOL…

workaround for "fix" JDK-4512626 in Java 20/21: avoid spurious caret in read…

tuned;

prefer Unix-domain socket on Unix;

support for Unix-domain sockets, using java.nio.channels.ServerSocketChannel;

tuned;

clarified signature: more general make_streams;

tuned;

more robust exception handling (amending 8cc1ae43e12e);

clarified signature: avoid deprecated URL constructors;

avoid deprecated URL constructors;

proper split;

tuned

properly sort entries;

tuned;

tuned;