HOL-LIGHT(1) - manual page | User commands HOL Light interactive theorem prover. Chapters NAMESYNOPSISDESCRIPTIONSEE ALSOAUTHOR March 16, 2012 Loading manual page ... Download hol-light(1).txt | manual plain text file Downloading man page ... Find manuals Go top