moved tactic emulation methods here;
added print_trans_rules;
renamed "res_inst_tac' etc. to 'rule_tac' etc.;
added 'fastsimp';
%FIXME
%\chapter{Basic Concepts}\label{ch:basics}
%\section{The Isar proof language}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "isar-ref"
%%% End: