clasohm@0: ISABELLE -- INSTRUCTIONS FOR UNPACKING THE EMAIL DISTRIBUTION 
clasohm@0: 
clasohm@0: The Isabelle email distribution consists of about 8 installments, each
clasohm@0: small enough to send by electronic mail.  The files are called Isabelle.aa,
clasohm@0: Isabelle.ab, ....  They have been generated by tar, compress, uuencode, and
clasohm@0: split, and are packed for email using shar.  To unpack the files, perform
clasohm@0: the following steps:
clasohm@0: 
clasohm@0: STEP 1.  Create a new directory to hold Isabelle and move to that
clasohm@0: directory (the name of the directory does not matter):
clasohm@0: 
clasohm@0: 	mkdir Isabelle;  cd Isabelle
clasohm@0: 
clasohm@0: STEP 2.  Put each message into a separate file and pipe it through unshar.
clasohm@0: (If you don't have unshar, remove the header lines generated by the mail
clasohm@0: system and submit the file to sh.)
clasohm@0: 
clasohm@0: STEP 3.  Concatenate the files into one file using the command
clasohm@0: 
clasohm@0: 	cat Isabelle.?? > 92.tar.Z.uu
clasohm@0: 
clasohm@0: STEP 4.  Undo the uuencode operation using the command
clasohm@0: 
clasohm@0: 	uudecode 92.tar.Z.uu
clasohm@0: 
clasohm@0: STEP 5.  You should now have a file 92.tar.Z; uncompress and unpack it using...
clasohm@0: 
clasohm@0:    	uncompress -c 92.tar.Z | tar xf -
clasohm@0: 
clasohm@0: STEP 6.  You should now have a complete Isabelle directory, called 92.  You
clasohm@0: may now tidy up by executing
clasohm@0: 
clasohm@0: 	rm Isabelle.?? *.hdr 92.tar.Z.uu 92.tar.Z
clasohm@0: 
clasohm@0: Consult the file 92/README for information on compiling Isabelle.
clasohm@0: 
clasohm@0: 						Good luck!