HOL Light Tutorial (for version 2.20). http://www.cl.cam.ac.uk/ jrh13/hol-light/tutorial 220.pdf (0)

by J Harrison