JS function to duplicate the focused proof table row
JS function to duplicate the focused proof table row

This speeds up proof writing because most new formulas are
based on formulas already in the proof.

cruhland/gentzen,cruhland/gentzen