Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Wed, 20 Sep 1995 15:47:38 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA195276372;
          Wed, 20 Sep 1995 08:12:52 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from relay.cs.ruu.nl (infix.cs.ruu.nl) by leopard.cs.byu.edu 
          with ESMTP (1.37.109.15/16.2) id AA195046317;
          Wed, 20 Sep 1995 08:11:57 -0600
Received: from muddy.cs.ruu.nl (muddy.cs.ruu.nl [131.211.80.113]) 
          by relay.cs.ruu.nl (8.6.12/8.6.12/ehk) with ESMTP id QAA06068 
          for <info-hol@leopard.cs.byu.edu>; Wed, 20 Sep 1995 16:11:37 +0200
Received: (wishnu@localhost) by muddy.cs.ruu.nl (8.6.9/8.6.9) id QAA16811;
          Wed, 20 Sep 1995 16:11:36 +0200
Date: Wed, 20 Sep 1995 16:11:35 +0200 (METDST)
From: Wishnu Prasetya <wishnu@cs.ruu.nl>
To: hol mailing list <info-hol@leopard.cs.byu.edu>
Subject: thesis available via ftp
Message-Id: <Pine.HPP.3.91.950920160759.432i-100000@muddy.cs.ruu.nl>
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII

Dear HOL users,

My PhD thesis, "Mechanically Supported Design of Self-stabilizing
Algorithms" (also announced several days ago), is now also available
at the following ftp site:

      ftp://ftp.cs.ruu.nl/pub/RUU/CS/phdtheses/ 

under the directory Prasetya. Under different directories are some
other PhD theses as well, if you're interested. 

Best regards,

Wishnu Prasetya