isabelle: src/Tools/WWW_Find/WWW_Find.thy@cbcccf2a0f6f (annotated)

48495 bf5b45870110 more standard session setup for WWW_Find; wenzelm parents: diff changeset	1	theory WWW_Find
bf5b45870110 more standard session setup for WWW_Find; wenzelm parents: diff changeset	2	imports Pure
bf5b45870110 more standard session setup for WWW_Find; wenzelm parents: diff changeset	3	begin
bf5b45870110 more standard session setup for WWW_Find; wenzelm parents: diff changeset	4
48891 c0eafbd55de3 prefer ML_file over old uses; wenzelm parents: 48495 diff changeset	5	ML_file "unicode_symbols.ML"
c0eafbd55de3 prefer ML_file over old uses; wenzelm parents: 48495 diff changeset	6	ML_file "html_unicode.ML"
c0eafbd55de3 prefer ML_file over old uses; wenzelm parents: 48495 diff changeset	7	ML_file "mime.ML"
c0eafbd55de3 prefer ML_file over old uses; wenzelm parents: 48495 diff changeset	8	ML_file "http_status.ML"
c0eafbd55de3 prefer ML_file over old uses; wenzelm parents: 48495 diff changeset	9	ML_file "http_util.ML"
c0eafbd55de3 prefer ML_file over old uses; wenzelm parents: 48495 diff changeset	10	ML_file "xhtml.ML"
c0eafbd55de3 prefer ML_file over old uses; wenzelm parents: 48495 diff changeset	11	ML_file "socket_util.ML"
c0eafbd55de3 prefer ML_file over old uses; wenzelm parents: 48495 diff changeset	12	ML_file "scgi_req.ML"
c0eafbd55de3 prefer ML_file over old uses; wenzelm parents: 48495 diff changeset	13	ML_file "scgi_server.ML"
c0eafbd55de3 prefer ML_file over old uses; wenzelm parents: 48495 diff changeset	14	ML_file "echo.ML"
c0eafbd55de3 prefer ML_file over old uses; wenzelm parents: 48495 diff changeset	15	ML_file "html_templates.ML"
c0eafbd55de3 prefer ML_file over old uses; wenzelm parents: 48495 diff changeset	16	ML_file "find_theorems.ML"
c0eafbd55de3 prefer ML_file over old uses; wenzelm parents: 48495 diff changeset	17	ML_file "yxml_find_theorems.ML"
c0eafbd55de3 prefer ML_file over old uses; wenzelm parents: 48495 diff changeset	18
48495 bf5b45870110 more standard session setup for WWW_Find; wenzelm parents: diff changeset	19	end
bf5b45870110 more standard session setup for WWW_Find; wenzelm parents: diff changeset	20

author	wenzelm
	Fri, 21 Sep 2012 17:28:53 +0200
changeset 49494	cbcccf2a0f6f
parent 48891	c0eafbd55de3
child 52926	6415d95bf7a2
permissions	-rw-r--r--