Globals.version : string

SYNOPSIS
The version of the HOL system being run.

EXAMPLE
  - Globals.version;

  val it = "Athabasca" : string


HOL  Kananaskis 0