compute proper weight for "p proves p" in MaSh

restore code equations for List.set in RBT_Set; make Scala happy according to 7.1 in the code generator manual

tuned

back to post-release mode -- after fork point;

updated for release;

merged

misc tuning for release;

tuned;

accomodate scala-2.9.2;

afford parallel proof terms;

always close derivation at the bottom of forked proofs (despite increased non-determinism of proof terms) -- improve parallel performance by avoiding dynamic dependency within large Isar proofs, e.g. Slicing/JinjaVM/SemanticsWF.thy in AFP/bf9b14cbc707;

simplified proofs

tuning

misc cleanup;

tuned signature;