Cl-isabelle-users -- Isabelle Users List


About Cl-isabelle-users
English (UK)

This list allows users of Isabelle, a proof tool, to discuss problems, solutions and results. It also carries a small number of related conference and job announcements.

For Isabelle, see

To see the collection of prior postings to the list, visit the Cl-isabelle-users Archives.

Using Cl-isabelle-users
To post a message to all the list members, send email to

You can subscribe to the list, or change your existing subscription, in the sections below.

Subscribing to Cl-isabelle-users

Subscribe to Cl-isabelle-users by filling out the following form. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is a hidden list, which means that the list of members is available only to the list administrator.

Cambridge Users:
If you have a computer account at the University of Cambridge, and you intend to subscribe to this list, change something about the subscription you already have, or access private list archives, please log in first.
Once you have logged in, this page will automatically fill in your email address.
For people outside Cambridge

If you do not have a Raven account and want to subscribe, enter your email address and name (optional) below. A password will be automatically assigned for later use.

Your email address:  
Your name (optional):  
Would you like to receive list mail batched in a daily digest? No Yes
Cl-isabelle-users Subscribers
(The subscribers list is only available to the list administrator.)

To unsubscribe from Cl-isabelle-users, get a password reminder, or change your subscription options enter your subscription email address:

If you leave the field blank, you will be prompted for your email address

Cl-isabelle-users list run by
Cl-isabelle-users administrative interface (requires authorization)
Overview of all mailing lists
Read Documentation

Delivered by Mailman
Privacy Notice
Python Powered GNU's Not Unix