Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <21561-0@swan.cl.cam.ac.uk>; Tue, 11 Aug 1992 12:32:01 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA26037; Tue, 11 Aug 92 04:19:27 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from ganymede.inmos.co.uk by ted.cs.uidaho.edu (16.6/1.34) id AA26032; Tue, 11 Aug 92 04:19:04 -0700 Received: from frogland.inmos.co.uk by ganymede.inmos.co.uk; Tue, 11 Aug 92 10:02:43 BST From: David Shepherd Message-Id: <7608.9208110902@frogland.inmos.co.uk> Subject: Re: need more pattern support? To: info-hol@edu.uidaho.cs.ted (info-hol mailing list) Date: Tue, 11 Aug 92 10:02:37 BST In-Reply-To: <"swan.cl.ca.190:10.07.92.15.43.33"@cl.cam.ac.uk>; from "Jim Grundy" at Aug 10, 92 4:43 pm X-Mailer: ELM [version 2.3 PL11] Jim Grundy has said: > I think there are two of us working on this. make that three ... i've been doing similar bits and pieces on an as needed basis in my work. > I am working on a Library for tuples containing a comprehensive set > of tuple manipualting functions and a tupled equivalent for every > HOL function that uses quantifiers. > The code is finished now and I can mail it to anybody who wants. > The documentation .......... well I just haven't found the energy. [[ list of rules/conversions ]] > I would like to get this finished in time for the next release of HOL, > but that is not a promise. looks like a pretty useful set of tools ... i would certainly like to see this sort of thing in the contrib directory even without any documentation (other than the obvious comment that they do the same as the untupled versions on tuples!) -------------------------------------------------------------------------- david shepherd: des@inmos.co.uk or des@inmos.com tel: 0454-616616 x 625 inmos ltd, 1000 aztec west, almondsbury, bristol, bs12 4sq "i speak latin to god, spanish to men, french to women and german to my horse." - charles v of spain