isabelle: src/Doc/Tutorial/Types/Setup.thy@5386df44a037 (annotated)

31678 752f23a37240 reworked section on type classes haftmann parents: diff changeset	1	theory Setup
752f23a37240 reworked section on type classes haftmann parents: diff changeset	2	imports Main
752f23a37240 reworked section on type classes haftmann parents: diff changeset	3	begin
752f23a37240 reworked section on type classes haftmann parents: diff changeset	4
48891 c0eafbd55de3 prefer ML_file over old uses; wenzelm parents: 43564 diff changeset	5	ML_file "../../antiquote_setup.ML"
c0eafbd55de3 prefer ML_file over old uses; wenzelm parents: 43564 diff changeset	6	ML_file "../../more_antiquote.ML"
c0eafbd55de3 prefer ML_file over old uses; wenzelm parents: 43564 diff changeset	7
43564 9864182c6bad document antiquotations are managed as theory data, with proper name space and entity markup; wenzelm parents: 31678 diff changeset	8	setup {* Antiquote_Setup.setup #> More_Antiquote.setup *}
9864182c6bad document antiquotations are managed as theory data, with proper name space and entity markup; wenzelm parents: 31678 diff changeset	9
31678 752f23a37240 reworked section on type classes haftmann parents: diff changeset	10	end

author	wenzelm
	Tue, 28 Aug 2012 18:57:32 +0200
changeset 48985	5386df44a037
parent 48891	doc-src/TutorialI/Types/Setup.thy@c0eafbd55de3
child 56059	2390391584c2
permissions	-rw-r--r--