isabelle: doc-src/System/Thy/ROOT.ML@a010aab5bed0 (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";
28916 0a802cdda340 removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting; wenzelm parents: 28838 diff changeset	8	use_thy "Interfaces";
28221 ca9fdab0f971 converted present.tex; wenzelm parents: 28220 diff changeset	9	use_thy "Presentation";
28224 10487d954a8f converted misc.tex; wenzelm parents: 28221 diff changeset	10	use_thy "Misc";