New files refactoring the code
authorkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Sun, 26 Apr 2009 10:30:24 +0000 (10:30 +0000)
committerkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Sun, 26 Apr 2009 10:30:24 +0000 (10:30 +0000)
commitf1da22caf34bc3367984228ace9e7e7aa0760f0a
treec9d5cfcc9d9fe1fc7a6ad7443c11b8efda981d34
parentb1e6806834df253d5454fffad7f14fb24c74af70
New files refactoring the code

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@355 3cdefd35-fc62-479d-8e8d-bae585ffb9ca
hcons.ml [new file with mode: 0644]
hcons.mli [new file with mode: 0644]
html_header.ml [new file with mode: 0644]
memoizer.ml [new file with mode: 0644]
memoizer.mli [new file with mode: 0644]
ptset_include.ml [new file with mode: 0644]