James When I use the word 'proof' (in this conversation, at least) I mean a 'mathematician's proof' not a ThP proof.
Which may or may not make a difference to our statements about 'proof being needed' and what they involve. chris _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
