The Isabelle email distribution comes in about 15 installments, called
Part01 to Part15 (final number may vary), for reasons of size. THEY MUST
BE UNPACKED IN ORDER.

These are shell archive files generated by makekit and shar. Put each
message into a separate file with the same name. You extract their contents
using unshar, for example by typing

	unshar Part01

Once you have put the messages into named files, you can unpack them all at
once by typing "unshar Part*".

Even simpler, you can unpack the messages directly from the "mail" program
by piping them through unshar: type "| unshar".

If you do not have "unshar", remove mail header lines from the files and 
type, for example, "sh Part01".

For existing license holders, the file "translate" contains shell scripts
for converting your ML files from the old Isabelle syntax to the new. It is
not a shar file because it contains control characters. You have to extract
its contents using

	uudecode translate

(which creates a tar file named translate.tar), followed by

	tar xvf translate.tar

						Good luck!



