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