HTML.setup;

--- a/src/Pure/pure.ML	Tue Mar 09 12:07:16 1999 +0100
+++ b/src/Pure/pure.ML	Tue Mar 09 12:07:32 1999 +0100
@@ -9,6 +9,7 @@
   val common_setup =
     ObjectLogic.setup @
     Locale.setup @
+    HTML.setup @
     ProofContext.setup @
     Method.setup @
     Attrib.setup;