]> matita.cs.unibo.it Git - helm.git/blob - helm/dtd/ls.dtd
(** xxx **) ==> (** xxx *)
[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