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 [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
