Globals.version : string
SYNOPSIS
The version of the
HOL
system being run.
EXAMPLE
- Globals.version; val it = "Athabasca" : string
HOL
Kananaskis 0