doc-src/IsarRef/Thy/ROOT.ML

observe usual theory naming conventions;

set quick_and_dirty;
set ThyOutput.source;
use "../../antiquote_setup.ML";

use_thy "Introduction";
use_thy "Framework";
use_thy "First_Order_Logic";
use_thy "Outer_Syntax";
use_thy "Document_Preparation";
use_thy "Spec";
use_thy "Proof";
use_thy "Inner_Syntax";
use_thy "Misc";
use_thy "Generic";
use_thy "HOL_Specific";
use_thy "Quick_Reference";
use_thy "Symbols";
use_thy "ML_Tactic";