Add <defmacro> and abolish `theorem'.
authormorioka <morioka>
Wed, 14 Oct 1998 05:42:14 +0000 (05:42 +0000)
committermorioka <morioka>
Wed, 14 Oct 1998 05:42:14 +0000 (05:42 +0000)
commit9d503ba021947eaa547d98282bf9d20692752930
tree5b03306f44b5236765e9dcbd94841e89a1642236
parent1588cb795c5e849ad3a46994d12e57d54c4c0fca
Add <defmacro> and abolish `theorem'.
dtd/sinfo.dtd