[isabelle] New: AFP index

The Archive of Formal Proofs now has a 69 entries
http://afp.sourceforge.net/. We have now added a topic-oriented index to
the entries http://afp.sourceforge.net/topics.shtml to allow you to
locate relevant entries quickly. Please give us your feedback:

- Do you find the index helpful?
- Would you structure it differently?
- If you are an author: Do you find your entries categorized correctly?


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