hol_version : string

SYNOPSIS

A string indicating the version of HOL Light.

DESCRIPTION

This string is a numeric version number for HOL Light.

FAILURE CONDITIONS

Not applicable.

EXAMPLE

On my laptop, the value is:

  # hol_version;;
  val it : string = "2.10"

SEE ALSO

startup_banner.