Quick notes on how to use RapidXML

rapid xml example

Archive of Formal Proofs