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