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