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