Logical System bergmann 12/22/05 Introduction to Tactics This video is set in the context of the downloadable program, but it applies equally well in the setting of a proof applet.
