HOL-Theorem-Prover/HOL — pull request #218 by jeremydaw (2014-12-20 13:01:08+00:00)
Title: added flatn command in proofManagerLib

in interactive proof, to flatten subgoal stack, so as to merge current list of
subgoals with previous level(s)