isabelle: doc-src/System/Thy/ROOT.ML@7ad7d7d6df47 (annotated)

28220 889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: diff changeset	1
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: diff changeset	2	(* $Id$ *)
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: diff changeset	3
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: diff changeset	4	set ThyOutput.source;
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: diff changeset	5	use "../../antiquote_setup.ML";
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: diff changeset	6
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex); wenzelm parents: diff changeset	7	use_thy "Basics";
28221 ca9fdab0f971 converted present.tex; wenzelm parents: 28220 diff changeset	8	use_thy "Presentation";
28224 10487d954a8f converted misc.tex; wenzelm parents: 28221 diff changeset	9	use_thy "Misc";
28226 97c530dc8aca converted symbols.tex; wenzelm parents: 28224 diff changeset	10	use_thy "Symbols";