[isabelle] Creation of Isabelle/HOL users group on Linked In

I have started a group on the Linked In site for Isabelle/HOL users.  This is an open group if you are interested you may join.
Just click this link http://www.linkedin.com/groups?about=&gid=4217009

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