Add <defmacro> and abolish `theorem'.

diff --git a/dtd/sinfo.dtd b/dtd/sinfo.dtd
index 8580c0e..e051009 100644 (file)
--- a/dtd/sinfo.dtd
+++ b/dtd/sinfo.dtd
@@ -1,6 +1,6 @@
 <!-- This is sinfo.dtd,
       by MORIOKA Tomohiko
-      $Id: sinfo.dtd,v 1.1 1998-09-15 01:24:21 morioka Exp $
+      $Id: sinfo.dtd,v 1.2 1998-10-14 05:42:14 morioka Exp $
 -->
 
 <!entity % emph 
@@ -25,7 +25,7 @@
 <!entity % mathpar " dm | eq " >
 
 <!entity % thrm 
-        " defun | define | defvar | prop | lemma | coroll | proof | theorem " >
+        " defun | defmacro | define | defvar | prop | lemma | coroll | proof " >
 
 <!entity % sectpar 
         " %par; | figure | table | faq | %mathpar; | 
@@ -293,6 +293,10 @@
 <!element opts - o (#pcdata)>
 <!element rest - o (#pcdata)>
 
+<!element defmacro - - (args?,opts?,rest?,(p|noindent|newline)*)>
+<!attlist defmacro
+         name cdata #required>
+
 <!element define - - (args?,opts?,rest?,(p|noindent|newline)*)>
 <!attlist define
          type cdata #required
@@ -305,7 +309,6 @@
 <!element lemma - - (thtag?, p+) >
 <!element coroll - - (thtag?, p+) >
 <!element proof - - (p+) >
-<!element theorem - - (thtag?, p+) >
 <!element thtag - - (%inline)>
 
 <!entity   qtag     '<sq>' >