+(*
+ Time-stamp: <Last modified on 2013-03-04 16:38:27 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