+++ /dev/null
-<?xml encoding="ISO-8859-1"?>
-
-<!--*****************************************************************-->
-<!-- DTD FOR ANNOTATED OBJECTS: -->
-<!-- First draft: June 2000, Claudio Sacerdoti Coen -->
-<!--*****************************************************************-->
-
-<!ENTITY % annotation '(#PCDATA|node|attribute)*'>
-
-<!ELEMENT Annotations (Annotation)*>
-<!ATTLIST Annotations
- of CDATA #REQUIRED>
-
-<!ELEMENT Annotation %annotation;>
-<!ATTLIST Annotation
- of CDATA #REQUIRED>
-
-<!-- Annotations: -->
-
-<!ELEMENT attribute EMPTY>
-<!ATTLIST attribute
- name NMTOKEN #REQUIRED
- id NMTOKEN #REQUIRED
- child NMTOKEN #IMPLIED
- grandchild NMTOKEN #IMPLIED>
-
-<!ELEMENT node EMPTY>
-<!ATTLIST node
- id NMTOKEN #REQUIRED>