To: info-hol@clover.ucdavis.edu
Cc: schubert@cheetah.ucdavis.edu, arora@cheetah.ucdavis.edu
Subject: Introduction
Date: Tue, 15 Aug 89 10:58:58 -0800
From: Phil Windley <windley%cheetah.ucdavis.edu@murtoa.cs.mu.oz>
Status: RO


[There are many new user's on the mailing list, so I thought I'd post an
introductory article. --phil--]

This is an introductory article about info-hol.  It describes how to submit
articles to the newsgroup, where the archive sites are, and how to contact
them.


Introduction:
-------------
Info-hol is a worldwide mailing list with more than 80 members in over 10
countries.  The mailing list is set up so as to minimize transatlantic
traffic.

This list is designed to provide a forum for discussing topics relevant to
HOL.  These issues could involve HOL itself, uses of HOL, bug reports,
fixes, question about HOL, etc.  If you have developed some proof
techniques that you think are useful, please post them.  If you're not sure
whether or not something is suitable for posting, please send it to me and
we can decide togehter.


Sending articles to info-hol:
-----------------------------
Please feel free to post messages on this list, that's what its for.  Items
intended for posting should be sent to info-hol@clover.ucdavis.edu.  Clover
is on the INTERNET; its INTERNET number is 128.120.57.1.  Queries and
problem notes should be sent to info-hol-request@clover.ucdavis.edu.

Do to the nature of the net, you may receive bounced messages after
submitting an aritcle.  With the fluid nature of machine connections, the
people who are reachable changes daily and I can't keep up with it.  If you
receive bounced mail, please forward it to me and I will try to take care
of the problem.


Archives and source:
--------------------
Clover.ucdavis.edu contains the latest release of HOL, packages for
additional theories and tactics, and a public domain version of Franz LISP.
I also keep all of the articles posted to info-hol.  Everything but the
articles is available via anonymous ftp from Clover. They are in the
pub/hol directory. If you want an old article from info-hol, let me know
and I'll dig it out.

If you collect info-hol postings and are willing and able to make your
collection available to other people, please let me know.  Benefits include
the undying gratitude of your colleagues, and a promise from me to try to
make sure you never lose an article.  As far as I know, the only archive
site now is Clover.


Contacting me:
--------------
My name is Phil Windley I can be reached via electronic mail
as info-hol-request@clover.ucdavis.edu or windley@cheetah.ucdavis.edu or
windley@clover.ucdavis.edu.  You can also contact me via phone at (916)
752-7324.

I am always looking for suggestions on how to improve the usefulness
of the mailing list.  Feel free to contact me.








