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

[Ian Z. <it...@bu...>]

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

-- 
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.