From MAILER@csi2 Tue Sep 11 11:16:06 1990 Received: from csi2.csi.uofo.edu by prga.csi.uofo.edu (4.1/smail2.5/09-29-87) id AA14536; Tue, 11 Sep 90 11:16:02 EDT Received: by csi2.csi.uofo.edu (4.12/smail2.5/09-29-87) id AA29220; Tue, 11 Sep 90 11:11:32 edt Resent-Message-Id: <9009111511.AA29220@csi2.csi.uofo.edu> Received: by UOTTAWA (Mailer R2.07) id 5550; Tue, 11 Sep 90 11:14:28 EDT Resent-Date: Tue, 11 Sep 90 11:14:17 EDT Resent-From: Phil Resent-To: Rob Holte Received: from MITVMA.MIT.EDU by ACADVM1.UOTTAWA.CA (Mailer R2.07) with BSMTP id 2974; Thu, 06 Sep 90 20:33:00 EDT Received: from MITVMA by MITVMA.MIT.EDU (Mailer R2.05) with BSMTP id 8522; Thu, 06 Sep 90 17:24:22 EDT Received: from theory by mitvma.mit.edu (IBM VM SMTP R1.2.1MX) with TCP; Thu, 06 Sep 90 17:24:13 EDT Received: from stork (STORK.LCS.MIT.EDU) by theory (4.1/TOC-1.2S) id AA15865; Thu, 6 Sep 90 17:09:38 EDT Received: by stork (4.1/TOC-1.2C) id AA01866; Thu, 6 Sep 90 17:08:57 EDT Date: Thu, 6 Sep 90 17:08:57 EDT Message-Id: <9009062108.AA01866@stork> To: types@theory.lcs.mit.edu, logic@theory.lcs.mit.edu Subject: ISABELLE USERS EMAIL FORUM From: lcp@computer-lab.cambridge.ac.uk Sender: meyer@theory.lcs.mit.edu Status: RO ----------------------------Original message---------------------------- To: logic@theory.lcs.mit.edu, types@theory.lcs.mit.edu, proof-sci@cs.chalmers.se Date: Thu, 23 Aug 90 12:05:54 +0100 ISABELLE USERS EMAIL FORUM isabelle-users@cl.cam.ac.uk 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. If you would like to be placed on the mailing list, please send a message to isabelle-users-request@cl.cam.ac.uk This address should also be used for administrative requests such as "please remove me from this list". I shall deal with them without broadcasting them to everyone else. Larry Paulson isabelle-users@cl.cam.ac.uk