Re: [isabelle] Two new AFP entries


I find âNew in the AFP: ââ subjects much more helpful than
â$n$ new AFP entriesâ, and it seems to be a bit unfair that some AFP
entries get less promotion just because they happen to be accepted
together with others. Why not announce each entry individually? I think
nobody would mind the few extra mails.

Greetings from Philly,

Joachim Breitner
Post-Doctoral researcher

Attachment: signature.asc
Description: This is a digitally signed message part

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.