HOL-88
Evolution of
SML/NJ
Written using
HOL-90 (3309)