support for arbitrarity nested future proofs -- replaced crude order by explicit normalization (which might loop for bad dependencies);
export promises_of;
removed obsolete pending_groups;
tuned;
lcp paulson
norbert.schirmer@web.de schirmer
urbanc@in.tum.de urbanc
nipkow@lapbroy100.local nipkow
chaieb@chaieb-laptop chaieb
immler@in.tum.de immler