--- a/src/Pure/Thy/html.ML Wed Jan 05 11:37:44 2000 +0100
+++ b/src/Pure/Thy/html.ML Wed Jan 05 11:38:48 2000 +0100
@@ -37,6 +37,7 @@
val results: string -> string -> thm list -> text
val theorem: string -> thm -> text
val theorems: string -> thm list -> text
+ val chapter: string -> text
val section: string -> text
val subsection: string -> text
val subsubsection: string -> text
@@ -271,6 +272,7 @@
(* sections *)
+fun chapter heading = "\n\n<h1>" ^ plain heading ^ "</h1>\n";
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";