added cases_node;
replaced body_context_of by body_context_node, removed no_body_context;
copy: ProofContext.transfer;
added present_local_theory, present_proof;
removed internal command interface;
%% $Id$
\chapter{Introduction}
FIXME
\nocite{Wenzel-PhD}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "implementation"
%%% End: