isabelle: doc-src/IsarRef/Thy/ROOT.ML@cfe74b0eecb1 (annotated)

32833 f3716d1a2e48 explicitly Unsynchronized; wenzelm parents: 30242 diff changeset	1	Unsynchronized.set quick_and_dirty;
37216 3165bc303f66 modernized some structure names, keeping a few legacy aliases; wenzelm parents: 32833 diff changeset	2	Unsynchronized.set Thy_Output.source;
26741 eb15fd4cd1ad converted intro.tex to Thy/intro.thy; wenzelm parents: 26738 diff changeset	3	use "../../antiquote_setup.ML";
26844 46b6306c181e enabled ThyOutput.source option by default; wenzelm parents: 26840 diff changeset	4
30167 faf7b2ba1fef simultaneous use_thys; wenzelm parents: 29730 diff changeset	5	use_thys [
faf7b2ba1fef simultaneous use_thys; wenzelm parents: 29730 diff changeset	6	"Introduction",
faf7b2ba1fef simultaneous use_thys; wenzelm parents: 29730 diff changeset	7	"Framework",
faf7b2ba1fef simultaneous use_thys; wenzelm parents: 29730 diff changeset	8	"First_Order_Logic",
faf7b2ba1fef simultaneous use_thys; wenzelm parents: 29730 diff changeset	9	"Outer_Syntax",
faf7b2ba1fef simultaneous use_thys; wenzelm parents: 29730 diff changeset	10	"Document_Preparation",
faf7b2ba1fef simultaneous use_thys; wenzelm parents: 29730 diff changeset	11	"Spec",
faf7b2ba1fef simultaneous use_thys; wenzelm parents: 29730 diff changeset	12	"Proof",
faf7b2ba1fef simultaneous use_thys; wenzelm parents: 29730 diff changeset	13	"Inner_Syntax",
faf7b2ba1fef simultaneous use_thys; wenzelm parents: 29730 diff changeset	14	"Misc",
faf7b2ba1fef simultaneous use_thys; wenzelm parents: 29730 diff changeset	15	"Generic",
faf7b2ba1fef simultaneous use_thys; wenzelm parents: 29730 diff changeset	16	"HOL_Specific",
faf7b2ba1fef simultaneous use_thys; wenzelm parents: 29730 diff changeset	17	"Quick_Reference",
faf7b2ba1fef simultaneous use_thys; wenzelm parents: 29730 diff changeset	18	"Symbols",
faf7b2ba1fef simultaneous use_thys; wenzelm parents: 29730 diff changeset	19	"ML_Tactic"
faf7b2ba1fef simultaneous use_thys; wenzelm parents: 29730 diff changeset	20	];

author	haftmann
	Tue, 17 Aug 2010 14:19:12 +0200
changeset 38459	cfe74b0eecb1
parent 37216	3165bc303f66
child 38767	d8da44a8dd25
permissions	-rw-r--r--