Goedel 4.2
Type ;h. for help.
[] <- Reading file "GL/DoubleTable.exp" ...
Reading file "GL/DoubleTable.loc" ...
Parsing module "DoubleTable" ...
Compiling module "DoubleTable" ...
Module "DoubleTable" compiled.
[] <- Loading module "DoubleTable" ...
[DoubleTable] <- [DoubleTable] <-