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