Goedel 4.2
Type ;h. for help.
[] <- Reading file "GL/M3.exp" ...
Reading file "GL/M3.loc" ...
Parsing module "M3" ...
[] <- Reading file "GL/M3.exp" ...
Reading file "GL/M3.loc" ...
Parsing module "M3" ...
Compiling module "M3" ...
Module "M3" compiled.
[] <- Loading module "M3" ...
[M3] <- 
x = Cons(Monday,Cons(Tuesday,Cons(Wednesday,Nil))) ? Yes
[M3] <- 
x = Nil,
y = Nil,
z = Cons(Monday,Cons(Tuesday,Cons(Wednesday,Nil))) ? Yes
[M3] <-