standardized headers;

--- a/src/Tools/WWW_Find/echo.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/echo.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,7 +1,7 @@
-(*  Title:      echo.ML
+(*  Title:      Tools/WWW_Find/echo.ML
     Author:     Timothy Bourke, NICTA
 
-    Install simple echo server.
+Install simple echo server.
 *)
 
 local

--- a/src/Tools/WWW_Find/find_theorems.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/find_theorems.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,7 +1,7 @@
-(*  Title:      find_theorems.ML
+(*  Title:      Tools/WWW_Find/find_theorems.ML
     Author:     Timothy Bourke, NICTA
 
-    Simple find_theorems server
+Simple find_theorems server.
 *)
 
 local

--- a/src/Tools/WWW_Find/http_status.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/http_status.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,8 +1,9 @@
-(*  Title:      http_status.ML
+(*  Title:      Tools/WWW_Find/http_status.ML
     Author:     Timothy Bourke, NICTA
 
 HTTP status codes and reasons.
 *)
+
 signature HTTP_STATUS =
 sig
   type t

--- a/src/Tools/WWW_Find/http_util.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/http_util.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,8 +1,9 @@
-(*  Title:      http_util.ML
+(*  Title:      Tools/WWW_Find/http_util.ML
     Author:     Timothy Bourke, NICTA
 
 Rudimentary utility functions for HTTP.
 *)
+
 signature HTTP_UTIL =
 sig
   val crlf : string

--- a/src/Tools/WWW_Find/mime.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/mime.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      mime_types.ML
+(*  Title:      Tools/WWW_Find/mime.ML
     Author:     Timothy Bourke, NICTA
 
 Rudimentary support for mime_types.

--- a/src/Tools/WWW_Find/scgi_req.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/scgi_req.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      parse_scgi_req.ML
+(*  Title:      Tools/WWW_Find/scgi_req.ML
     Author:     Timothy Bourke, NICTA
 
 Parses an SCGI (Simple Common Gateway Interface) header.

--- a/src/Tools/WWW_Find/scgi_server.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/scgi_server.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      scgi_echo.ML
+(*  Title:      Tools/WWW_Find/scgi_server.ML
     Author:     Timothy Bourke, NICTA
 
 Simple SCGI server.

--- a/src/Tools/WWW_Find/socket_util.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/socket_util.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      socket_util.ML
+(*  Title:      Tools/WWW_Find/socket_util.ML
     Author:     Emden R. Gansner and John H. Reppy
                 SML Basis Library, section 10
 

--- a/src/Tools/WWW_Find/unicode_symbols.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/unicode_symbols.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,7 +1,7 @@
-(*  Title:      Pure/Thy/unicode_symbols.ML
+(*  Title:      Tools/WWW_Find/unicode_symbols.ML
     Author:     Timothy Bourke, NICTA
 
-Parse the etc/symbols file.
+Parse the ISABELLE_HOME/etc/symbols file.
 *)
 
 signature UNICODE_SYMBOLS =
@@ -14,7 +14,7 @@
 val utf8              : int list -> string
 end;
 
-structure UnicodeSymbols (*: UNICODE_SYMBOLS*) =
+structure UnicodeSymbols : UNICODE_SYMBOLS =
 struct
 
 local (* Lexer *)

--- a/src/Tools/WWW_Find/xhtml.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/xhtml.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,8 +1,9 @@
-(*  Title:      xhtml.ML
+(*  Title:      Tools/WWW_Find/xhtml.ML
     Author:     Timothy Bourke, NICTA
 
 Rudimentary XHTML construction.
 *)
+
 signature XHTML =
 sig
   type attribute