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