(5steps total)
PrintForm
graph
1
1
Sections
Graphs
Doc
At:
append
is
singleton
1
1.
T:
Type
2.
a:
T List
b:T List, x:T. [x] = b
nil = nil
T List & b = [x]
b = nil & nil = [x]
By:
Obvious
Generated subgoals:
None
About:
(5steps total)
PrintForm
graph
1
1
Sections
Graphs
Doc