The HOL Light manual (1.1) (2000)

by John Harrison, A Research