doc-src/System/Thy/ROOT.ML

uniform treatment of ML indexing, using general \indexdef macro for formal Isabelle/Isar entities;
more robust handling of "|" within index;

(* $Id$ *)

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

use_thy "Basics";
use_thy "Interfaces";
use_thy "Presentation";
use_thy "Misc";