IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
l before transitivity111 1. T : Type
2. l : T List
3. x : T 4. y : T 5. z : T 6. no_repeats(T;l)
7. [x; y] l 8. [y; z] l [z] [z]
By:
Easy
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
l
[z] 
