From 9d503ba021947eaa547d98282bf9d20692752930 Mon Sep 17 00:00:00 2001
From: morioka <morioka>
Date: Wed, 14 Oct 1998 05:42:14 +0000
Subject: [PATCH] Add <defmacro> and abolish `theorem'.

---
 dtd/sinfo.dtd |    9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/dtd/sinfo.dtd b/dtd/sinfo.dtd
index 8580c0e..e051009 100644
--- 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>' >
-- 
1.7.10.4