On 28 Jul 2011, at 18:10, Phil Clayton wrote:
Yes. This needs to be fixed.
I have attached a work-around where the mixed language working is not too bad (you don't see any semantic constants). Higher-order matching saves a little bit of pain in this.
Description: Binary data
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com