added \indcase to unify def's and proiof's by induction on A
moved provability stuff specific to LK to the fol/sequent-calculus/provability.tex