+(*
+ Time-stamp: <Last modified on 2013-02-11 22:41:35 CET by Kim Nguyen>
+*)
+
+(** use: xml_file "XPath querie"
+ or : xml_file -f XPath_querie_file
+ only the first line of XPath_querie_file is read
+*)
+
+module F = Auto.Formula
+module A = Auto.Ata
+module X = Xpath.Compile