removed obsolete theorems;
handle generic XML markup as well (plain <markup> instead of <... class=markup>);
misc tuning/update according to Pure/Generic/markup.ML;
(* $Id$ *)
set ThyOutput.source;
use "../../antiquote_setup.ML";
use_thy "Introduction";
use_thy "Outer_Syntax";
use_thy "Spec";
use_thy "Proof";
use_thy "Document_Preparation";
use_thy "Misc";
use_thy "Generic";
use_thy "HOL_Specific";
use_thy "Quick_Reference";
use_thy "ML_Tactic";