isabelle: src/Tools/WWW_Find/WWW_Find.thy@1acf2d76ac23 (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
48495 bf5b45870110 more standard session setup for WWW_Find; wenzelm parents: diff changeset	18	end
bf5b45870110 more standard session setup for WWW_Find; wenzelm parents: diff changeset	19

author	wenzelm
	Sat, 05 Apr 2014 22:37:17 +0200
changeset 56428	1acf2d76ac23
parent 52926	6415d95bf7a2
permissions	-rw-r--r--