Goedel 4.2
Type ;h. for help.
[] <- Reading file "GL/M4.exp" ...
Reading file "GL/M4.loc" ...
Parsing module "M4" ...
[] <- Reading file "GL/M4.exp" ...
Reading file "GL/M4.loc" ...
Parsing module "M4" ...
Compiling module "M4" ...
Module "M4" compiled.
[] <- Loading module "M4" ...
[M4] <- 
x = [Monday,Tuesday,Wednesday] ? Yes
[M4] <- 
x = [],
y = [],
z = [Fred,Bill,Mary] ? Yes
[M4] <- 
x = [],
y = [],
z = [1,2,3] ? Yes
[M4] <- 
x = [],
y = [],
z = [4,5,6] ? Yes
[M4] <- 
x = [],
y = [],
z = [7,8,9] ? Yes
[M4] <- 
x = [],
y = [],
z = [10,11,12] ? Yes
[M4] <- 
x = [],
y = [],
z = [13,14,15] ? Yes
[M4] <- 
x = [],
y = [],
z = [Fred,Bill,Mary] ? Yes
[M4] <-