projects
/
tatoo.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Second fixpoint of TP_Max is now hconsed.
[tatoo.git]
/
tests
/
docs
/
XPath-PT.xml
1
<X>
2
<b>
3
<a>
4
<c>
5
<e>
6
<f>
7
<g>
8
<b>
9
<g/>
10
</b>
11
</g>
12
</f>
13
<e/>
14
</e>
15
</c>
16
</a>
17
</b>
18
<a>
19
<c>
20
<e>
21
<f/>
22
</e>
23
<f>
24
<X>
25
<g/>
26
<b>
27
<g/>
28
</b>
29
</X>
30
<e/>
31
</f>
32
</c>
33
</a>
34
</X>