removed obsolete touch_all_thys;

compress: proper check_thy;

added encoding spec for jEdit;

proper signature;

proper signature; removed unused const_types_of;

turned type_lits into configuration option (with attribute);

removed set_concat_map and improved set_concat

check_deps: ensure that theory is actually present, not just update_time > 1;

tuned order

reoriented hook application order

explicit constants for overloaded definitions

dropped junk

tuned

changed floatarith lemmas

proper signature for Meson;

force: non-critical, but also non-thread-safe (potentially multiple evaluations);

removed dead code;

improved treatment of global interrupts: Thread.EnableBroadcastInterrupt, redefine ignore/raise_interrupt;

removed signal setup from root function to on-entry hook;

global state transformation: non-critical, but also non-thread-safe;

fixed OCaml bug

fixed codegen setup

added evaluation examples

main: wait_timeout (1 second);

tuned comments;

added sendback;

combining the relevance filter with res_atp

combining the relevance filter with res_atp

ATP blacklisting is now in theory data, attribute noatp

added Code_Setup