From joe at gilith.com Tue Sep 21 17:54:57 2010 From: joe at gilith.com (Joe Hurd) Date: Tue, 21 Sep 2010 10:54:57 -0700 Subject: [opentheory-users] Welcome! Message-ID: Welcome to the opentheory-users mailing list! Users of the OpenTheory proof archive are encouraged to join and discuss bug reports, new features and applications, and anything else relevant to OpenTheory. Cheers, Joe