Custom base types
[hcoop/domtool2.git] / src / parse.sml
2006-07-24 Adam ChlipalaParsing has never been this much fun