Globals.version : int
STRUCTURE
SYNOPSIS
The version number of the HOL system being run.
EXAMPLE
- Globals.version;
> val it = 2 : int
SEEALSO
HOL  Kananaskis-10