reactivated Find_Unused_Assms_Examples to avoid untested / dead stuff in the repository; moved the whole HOL-Quickcheck_Examples target from "all" to "full" for now -- it does not terminate in certain situations (to be investigated further);

merged

added lemma

converting "set [...]" to "{...}" in evaluation results

removing Find_Unused_Assms_Examples from session as it requires much time

restored accidental omission

dropped dead code

tuned structure

retain syntax here

tuned structure; dropped already existing syntax declarations