Rob,

My theories fail to build on the latest version of maths_egs 
because I have been using "R_plus_ops_thm" and 
"R_plus_group_thm" which were in wrk068 but are no longer.

Looks like you have just changed some names, is that right?

Roger Jones

_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to