If you don't do Xpath stuff all the time you might not have a handy helper tool near by. I had to quickly test an expression today, here is what I used: http://www.mizar.dk/XPath/Default.aspx
Did the job!
If you don't do Xpath stuff all the time you might not have a handy helper tool near by. I had to quickly test an expression today, here is what I used: http://www.mizar.dk/XPath/Default.aspx
Did the job!
radi a.