git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@84 3cdefd35-fc62-479d...
[SXSI/xpathcomp.git] / automaton.ml
2009-01-27 kimEta expand (land) and (lor) to fun a b -> a land b
2009-01-27 kim.
2008-11-21 kimInitial commit