Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP) to cl id <29819-0@swan.cl.cam.ac.uk>; Wed, 23 Oct 1991 23:53:24 +0100 Received: by ted.cs.uidaho.edu (15.11/1.34) id AA08360; Wed, 23 Oct 91 12:50:02 pdt Reply-To: info-hol@ted Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@ted.cs.uidaho.edu Received: from panther.cs.uidaho.edu by ted.cs.uidaho.edu (15.11/1.34) id AA08356; Wed, 23 Oct 91 12:49:58 pdt Received: by panther.cs.uidaho.edu (5.57/Ultrix3.0-C) id AA05008; Wed, 23 Oct 91 12:52:37 -0700 Message-Id: <9110231952.AA05008@panther.cs.uidaho.edu> To: info-hol@edu.uidaho.cs.ted Subject: Isabelle Date: Wed, 23 Oct 91 12:52:36 -0700 From: Phil Windley X-Mts: smtp I'm looking for a reference on Isabelle. Can someone supply me with one? I'd love to get a PS copy of a paper on Isabelle if possible (I'm somewhat in a hurry; writing a proposal). --phil-- Phil Windley | windley@cs.uidaho.edu Assistant Professor | windley@cheetah.cs.uidaho.edu Department of Computer Science | University of Idaho | Phone: 208.885.6501 Moscow, ID 83843 | Fax: 208.885.6645