[isabelle] New AFP category "Tools"

We have added another AFP topic/category "Tools" that contains two entries so far (go to the bottom of http://afp.sourceforge.net/topics.shtml). The topic is meant to gather together entries that are tools and should not be hidden under some specific computer science or math topic.


Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

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