Admin/page/main-content/docs.content

added impose_hyps_tac;
robustify insts of tactic emulations;

%title%
Isabelle Documentation

%body%

<!-- _GP_ distname --> documentation is included here as browsable PDF
for convenience.  These documents are also part of the standard
Isabelle <a href="dist/index.html">distribution</a>.

<!-- _GP_ include("$pwd/docu-contents.main") -->