renamed definitions after redundancy had been removed; giving shorter names to the most important ones:
* fun all_partitions_of_list → all_partitions_set
* fun all_partitions_of_list_list → all_partitions_list
using more appropriate antiquotations than just @{text}
cleaned up and optimised proof of lemma all_partitions_paper_equiv_alg'
better documentation