Update for SMLNJ 110.74
[hcoop/mlt.git] / LICENSE
2003-08-02 Adam ChlipalaInitial revision