part of pastek project meant to produce html code representing proof tree from a nested formulas list