Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Tue, 16 Nov 1993 00:29:04 +0000 Received: by leopard.cs.byu.edu (1.37.109.7/16.2) id AA17554; Mon, 15 Nov 93 17:13:19 -0700 Sender: info-hol-request@leopard.cs.byu.edu Errors-To: info-hol-request@leopard.cs.byu.edu Precedence: bulk Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu with SMTP (1.37.109.7/16.2) id AA17550; Mon, 15 Nov 93 17:13:16 -0700 Received: from toadflax.cs.ucdavis.edu by dworshak.cs.uidaho.edu with SMTP (1.37.109.4/16.2) id AA12009; Mon, 15 Nov 93 16:10:09 -0800 Received: from shangrila.cs.ucdavis.edu by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.4) id AA01486; Mon, 15 Nov 93 16:10:03 PST Received: by shangrila.cs.ucdavis.edu (5.65/UCD.CS.2.4) id AA18025; Mon, 15 Nov 1993 16:10:01 -0800 Date: Mon, 15 Nov 1993 16:10:01 -0800 From: heckman@cs.ucdavis.edu (Mark R. Heckman) Message-Id: <9311160010.AA18025@shangrila.cs.ucdavis.edu> To: info-hol@cs.ucdavis.edu Subject: hol and vdm? Has anyone mechanized VDM in HOL? I vaguely remember some talk about this a while back, but only now found a need to confirm it. Any information about this would be greatly appreciated. --Mark