Nuprl Basics - Proof: sfa doc sexpr reverse example

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc sexpr reverse example

X:Type, a,b,c:X.

Reverse(Cons(Inj(a);Cons(Inj(b);Inj(c)))) = Cons(Cons(Inj(c);Inj(b));Inj(a))

By:	Compute CoReverse(Cons(Inj(a);Cons(Inj(b);Inj(c)))) Co* CoCons(Reverse(Cons(Inj(b);Inj(c))) CoCons(* CoCons(Cons(Reverse(Inj(c)) * Inj(c);Reverse(Inj(b)) * Inj(b)); CoCons(Reverse(Inj(a)) * Inj(a))

Generated subgoals:

None

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html