tuned signature;

clarified select_entity (again): it is meant as approximation to "refactoring" and thus only makes sense for defs within the same buffer;

clarified caret focus modifier, depending on option "jedit_focus_modifier";

tuned;

tuned;

enabled FOOL for E

merged

tuned name generation in tptp to not depend on shadowing

tuned lambda translation for fool

generate unique variable names in tptp

proper handling of true and false in tptp

proper eta-expansion to avoid lambdas in tptp fool

proper proxification for fool + refactoring

proper renaming of THF_Lambda_Bool_Free

proper parsing of type encoding; tuned naming

proper handling of builtins in TFX

proper generation of TPTP output for higher order builtins

tuned

merged

removed redundant T_xxx_bound_aux lemmas

don't generate not-fully-defined bit-vector constants in SMT problems

improve and activate compression for veriT proof reconstruction

unused (see 29566b6810f7);

proper argument --- amending 908d8be90533;

tuned;

tuned signature;

tuned signature;

tuned signature;

tuned signature;

clarified signature: more explicit types;

tuned signature;

tuned imports;