From Tom.Melham@computer-lab.cambridge.ac.uk Mon Dec 17 22:33:51 1990
Received: from elberton.inmos.co.uk by frogland.inmos.co.uk; Mon, 17 Dec 90 22:33:51 GMT
Received: from titan.inmos.co.uk by elberton.inmos.co.uk; Mon, 17 Dec 90 22:33:50 GMT
From: Tom.Melham@computer-lab.cambridge.ac.uk
Received: from inmos-c.inmos.com by titan.inmos.co.uk with DNI-MTP [1.1]
        id inmos-c-14335; Mon, 17 Dec 90 22:33:53 GMT
Received: from iris.eecs.ucdavis.edu by uunet.uu.net (5.61/1.14) with SMTP
        id AA05261; Mon, 17 Dec 90 15:17:04 -0500
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.3.0)
        id AA09934; Mon, 17 Dec 90 12:10:12 -0800
Received: from sun2.nsfnet-relay.ac.uk by clover.eecs.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA02527; Mon, 17 Dec 90 12:12:09 PST
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk
          with SMTP inbound id <3508-0@sun2.nsfnet-relay.ac.uk>;
          Sat, 15 Dec 1990 14:51:19 +0000
Received: from sun2.nsfnet-relay.ac.uk by vax.NSFnet-Relay.AC.UK via Janet
          with NIFTP id aa03199; 15 Dec 90 14:45 GMT
Received: from cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP)
          id <1112-0@swan.cl.cam.ac.uk>; Sat, 15 Dec 1990 14:50:59 +0000
To: info-hol@clover.ucdavis.edu
Subject: graph theory
Date: Sat, 15 Dec 90 14:50:52 +0000
Message-Id: <"swan.cl.ca.114:15.11.90.14.51.13"@cl.cam.ac.uk>

RE: Graph theory in HOL.

Wai Wong, at the University of Warwick, has a nice-looking theory of graphs in
HOL.  You might consider contacting him, at: esww@eng.warwk.ac.uk.

Tom
