The a priori convergence of finite element methods is based on the density property of the sequence of finite element spaces which essentially assumes a quasi-uniform mesh-refining. The advantage is guaranteed convergence for a large class of data and solutions; the disadvantage is a global mesh refinement everywhere accompanied by large computational costs. Adaptive finite element methods (AFEMs) automatically refine exclusively wherever their refinement indication suggests to do so and consequently leave out refinements at other locations. In other words, the density property is violated on purpose and the a priori convergence is not guaranteed automatically and, in fact, crucially depends on algorithmic details. The advantage of AFEMs is a more effective mesh in many practical examples accompanied by smaller computational costs; the disadvantage is that the desirable convergence property is not guaranteed a priori. Efficient error estimators can justify a numerical approximation a posteriori and so achieve reliability. But it is not theoretically justified from the start that the adaptive mesh-refinement will generate an accurate solution at all. In order to foster the development of a convergence theory and improved design of AFEMs in computational engineering and sciences, this paper describes a particular version of an AFEM and analyses convergence results for three model problems in computational mechanics: linear elastic material (A), nonlinear monotone elastic material (B), and Hencky elastoplastic material (C). It establishes conditions sufficient for error-reduction in (A), for energy-reduction in (B), and eventually for strong convergence of the stress field in (C) in the presence of small hardening.