Add LICENSE
[hcoop/smlsql.git] / smlsql.cm
2003-08-02 Adam ChlipalaInitial revision