6 Sep 23:08 1990

### ISABELLE USERS EMAIL FORUM

To: logic@..., types <at> theory.lcs.mit.edu, proof-sci@... Date: Thu, 23 Aug 90 12:05:54 +0100 ISABELLE USERS EMAIL FORUM isabelle-users@... A new electronic mailing list is available for users of the theorem prover Isabelle. The list is open to everybody who is interested in Isabelle. The mailing list can be used for the following purposes (among others): * to exchange information about proofs conducted using Isabelle * to exchange formalizations of logics, tactics, and other pieces of code (of reasonable size!) * to give information about how, using FTP, to obtain pieces of code of unreasonable size * to report faults and limitations of Isabelle * to volunteer to correct such faults and limitations * to discuss wider issues such as foundations, logical frameworks, ... * by Isabelle's implementors, to ask your opinion of proposed changes and to announce new releases The forum will NOT be moderated.(Continue reading)