[om] DefMP elements

[Taneli Huuskonen]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Mike Dewar <miked at nag.co.uk> wrote:

> On Wed, Dec 03, 2003 at 10:53:43AM +1300, Bill Naylor wrote:
[...]
> > 1) Dissallowing self reference during a defining FMP, therefore
> > dissallowing recursive definition.
> I think the feeling at Bremen was that this was generally a good thing
> for the defining case.  It is of course quite legal for the evaluating
> case.

I'm slightly confused.  Do "this" and "it" in the above paragraph refer
to self-reference or to the disallowing of it?

Regards,
Taneli

-----BEGIN PGP SIGNATURE-----
Version: PGPfreeware 5.0i for non-commercial use
Charset: noconv

iQA/AwUBP831vV+t0CYLfLaVEQLLKQCeJuM+eBzkHgGMx7J7w3oPtHMbqA4An32r
mHxCmryY1TDyeBGMUNUQz0jQ
=QrOm
-----END PGP SIGNATURE-----
-- 
All messages will be PGP signed,  | Hélas, jamais je ne deviendrai
encrypted mail preferred.  Keys:  | rhinocéros, jamais, jamais!  Je ne
http://www.helsinki.fi/~huuskone/ | peux plus changer.  -- Ionesco
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems