Nuprl - Proof: es-locl-trans

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: es-locl-trans

the_es:ES. Trans x,y:E. (x <loc y)

By:	Use_ES_Axioms

Generated subgoals:

None

About:

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html