package		license			use
--------------  -----------		------------
MLton		MLton-LICENSE		
		(GPL)

SML/NJ		NJ-LICENSE		lexer, parser, precedence parser,
					splay trees,
					basis library: Real, IO, Timer,
					Unix, Process, Option

ML Kit		MLKit-LICENSE		basis library: Real, Path, Time, Date
		(GPL)

gmp		doc/gmp-LICENSE		IntInf
		(LGPL)
