]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/dtd/ls.dtd
ht:OBJECT added;
[helm.git] / helm / dtd / ls.dtd
diff --git a/helm/dtd/ls.dtd b/helm/dtd/ls.dtd
new file mode 100644 (file)
index 0000000..93997e7
--- /dev/null
@@ -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>
+