[isabelle] AFP now shows who uses your entry
AFP entries now have used-by fields, so you can see which other entries use your development.
A nice example is http://www.isa-afp.org/entries/Regular-Sets.shtml
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
This archive was generated by a fusion of
Pipermail (Mailman edition) and