Re: [Hol-info] Can I define a ZF FOL constant using only FOL symbols?

[Josef U. <jos...@gm...>]

On Thu, Sep 13, 2012 at 6:32 AM, Ian Zimmerman <it...@bu...> wrote:
>
> Josef> Hi Gottfried, I think this may belong more to the FOM list.
>
> BTW, where is it?  I can't find it in gmane, which usually means it
> doesn't exist :-P

http://lmgtfy.com/?q=fom+list
J.

>
> --
> Ian Zimmerman
> gpg public key: 1024D/C6FF61AD
> fingerprint: 66DC D68F 5C1B 4D71 2EE5  BD03 8A00 786C C6FF 61AD
> http://www.gravatar.com/avatar/c66875cda51109f76c6312f4d4743d1e.png
> Rule 420: All persons more than eight miles high to leave the court.