From dea00f8f062181f85a38d38e7062dfe8f0c5d9ea Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 29 Jun 2001 11:14:59 +0000
Subject: [PATCH] ht:OBJECT added; ls.dtd added

---
 helm/dtd/ls.dtd         | 13 +++++++++++++
 helm/dtd/maththeory.dtd |  5 +++++
 2 files changed, 18 insertions(+)
 create mode 100644 helm/dtd/ls.dtd

diff --git a/helm/dtd/ls.dtd b/helm/dtd/ls.dtd
new file mode 100644
index 000000000..93997e72a
--- /dev/null
+++ b/helm/dtd/ls.dtd
@@ -0,0 +1,13 @@
+<!ELEMENT ls (section*|object*)>
+
+<!ELEMENT section (#PCDATA)>
+
+<!ELEMENT object (ann,types)>
+<!ATTLIST object name CDATA #REQUIRED>
+
+<!ELEMENT ann EMPTY>
+<!ATTLIST ann value (YES|NO) #REQUIRED>
+
+<!ELEMENT types EMPTY>
+<!ATTLIST types value (YES|NO|ANN) #REQUIRED>
+
diff --git a/helm/dtd/maththeory.dtd b/helm/dtd/maththeory.dtd
index 30d3ecf14..c424b0324 100644
--- a/helm/dtd/maththeory.dtd
+++ b/helm/dtd/maththeory.dtd
@@ -41,6 +41,11 @@
 <!ENTITY % mathstructure
   '(ht:AXIOM|ht:DEFINITION|ht:THEOREM|ht:VARIABLE|ht:SECTION|ht:MUTUAL)*'>
 
+<!ELEMENT ht:OBJECT EMPTY>
+<!ATTLIST ht:OBJECT
+          uri CDATA #REQUIRED
+          mode (typeonly|embed|linkonly) #REQUIRED>
+
 <!ELEMENT ht:AXIOM EMPTY>
 <!ATTLIST ht:AXIOM
           uri CDATA #REQUIRED
-- 
2.39.2