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