repos - Revision 19302: /public/branches/coq-phrasebook-1_0_1/projects/coq/phrasebook/lib

• ..
• ant1.2.jar
• jaxp-parser1.0.1.jar
• jaxp1.0.1.jar
• om-lib1.0.1.jar
• xerces1.2.1.jar