]> matita.cs.unibo.it Git - helm.git/blob - helm/dtd/ls.dtd
protected invocations of get_cooked_obj with assertion failures
[helm.git] / helm / dtd / ls.dtd
1 <!ELEMENT ls (section*|object*)>
2
3 <!ELEMENT section (#PCDATA)>
4
5 <!ELEMENT object (ann,types)>
6 <!ATTLIST object name CDATA #REQUIRED>
7
8 <!ELEMENT ann EMPTY>
9 <!ATTLIST ann value (YES|NO) #REQUIRED>
10
11 <!ELEMENT types EMPTY>
12 <!ATTLIST types value (YES|NO|ANN) #REQUIRED>
13