isabelle: src/Tools/WWW_Find/WWW_Find.thy@cb154917a496 (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	haftmann
	Wed, 24 Apr 2013 11:32:54 +0200
changeset 51750	cb154917a496
parent 48891	c0eafbd55de3
child 52926	6415d95bf7a2
permissions	-rw-r--r--