src/Pure/Thy/html.ML

   val results: string -> (string * thm list) list -> text
   val chapter: string -> text
   val section: string -> text
   val subsection: string -> text
   val subsubsection: string -> text
-  val setup: (theory -> theory) list
 end;
 
 structure HTML: HTML =
 struct
 

   ("free",  style "free"),
   ("bound", style "bound"),
   ("var",   style "var"),
   ("xstr",  style "xstr")];
 
+val _ = Context.add_setup [Theory.add_mode_tokentrfuns htmlN html_trans];
+
 
 
 (** HTML markup **)
 
 type text = string;

 fun section heading = "\n\n<h2>" ^ plain heading ^ "</h2>\n";
 fun subsection heading = "\n\n<h3>" ^ plain heading ^ "</h3>\n";
 fun subsubsection heading = "\n\n<h4>" ^ plain heading ^ "</h4>\n";
 
 
-(** theory setup **)
-
-val setup =
- [Theory.add_mode_tokentrfuns htmlN html_trans];
-
-
 end;