]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/rtests/canonxml/data_valid/bugfixes/003.xml
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / rtests / canonxml / data_valid / bugfixes / 003.xml
1 <!DOCTYPE a [
2 <!ELEMENT a ANY>
3 <?pi 0?>
4 ]>
5 <?pi 1?>
6 <a>
7   <?pi 2?>
8   <a>
9     <?pi 3?>
10   </a>
11   <?pi 4?>
12 </a>
13 <?pi 5?>