improvements...
-rw-r--r-- 1476 HACKING
-rw-r--r-- 7639 LICENCE
-rw-r--r-- 4105 Makefile
-rw-r--r-- 13879 OCamlDriver.cpp
-rw-r--r-- 1457 SXSIStorageInterface.cpp
-rw-r--r-- 1066 SXSIStorageInterface.h
-rw-r--r-- 290 StorageInterface.cpp
-rw-r--r-- 709 StorageInterface.h
-rw-r--r-- 324 Utils.h
-rw-r--r-- 7412 XMLDocShredder.cpp
-rw-r--r-- 1552 XMLDocShredder.h
-rw-r--r-- 32027 ata.ml
-rw-r--r-- 2243 ata.mli
drwxr-xr-x - benchmark
-rw-r--r-- 3500 custom.ml
-rw-r--r-- 1045 debug.ml
-rw-r--r-- 1247 depend
-rw-r--r-- 5695 finiteCofinite.ml
-rw-r--r-- 1119 finiteCofinite.mli
-rw-r--r-- 651 intSet.ml
-rw-r--r-- 520 intSet.mli
-rw-r--r-- 5046 main.ml
-rw-r--r-- 1464 memory.ml
-rw-r--r-- 557 memory.mli
-rw-r--r-- 8133 myTimeXMLTree.cpp
-rw-r--r-- 1400 options.ml
-rw-r--r-- 345 options.mli
-rw-r--r-- 10815 ptset.ml
-rw-r--r-- 2808 ptset.mli
-rw-r--r-- 1623 sigs.mli
-rw-r--r-- 1545 tag.ml
-rw-r--r-- 386 tag.mli
-rw-r--r-- 409 tagSet.ml
-rw-r--r-- 638 tagSet.mli
drwxr-xr-x - tests
-rw-r--r-- 7951 timeXMLTree.cpp
-rw-r--r-- 25140 tree.ml
-rw-r--r-- 1605 tree.mli
-rw-r--r-- 7682 ulexer.ml
-rw-r--r-- 860 ulexer.mli
-rw-r--r-- 1352 unit_test.ml
-rw-r--r-- 530 utils.ml
-rw-r--r-- 18491 xPath.ml
-rw-r--r-- 1644 xPath.mli