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; Sat, 30 Sep 1995 17:06:14 +0100 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA174546432; Sat, 30 Sep 1995 09:53:52 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: list Received: from gateway.sctc.com by leopard.cs.byu.edu with ESMTP (1.37.109.15/16.2) id AA174516428; Sat, 30 Sep 1995 09:53:48 -0600 Received: from sccmailhost.sctc.com (sccmailhost.sctc.com [192.55.214.100]) by gateway.sctc.com (8.6.10/8.6.9) with SMTP id KAA20722; Sat, 30 Sep 1995 10:58:02 -0500 Received: from sccmailhost.sctc.com by sccmailhost.sctc.com id 282000000; 30 Sep 95 11:53 CDT Received: from sctc.com by sccmailhost.sctc.com id 287360000; 30 Sep 95 11:53 CDT Received: from arcadia.sctc.com (arcadia.sctc.com [172.17.192.112]) by spirit.sctc.com (8.6.12/8.6.10) with ESMTP id KAA02988; Sat, 30 Sep 1995 10:53:05 -0500 Received: (from coe@localhost) by arcadia.sctc.com (8.6.12/8.6.9) id KAA02397; Sat, 30 Sep 1995 10:53:03 -0500 Date: Sat, 30 Sep 1995 10:53:03 -0500 From: Mike Coe Message-Id: <199509301553.KAA02397@arcadia.sctc.com> To: Tom Melham Cc: Mike Coe , info-hol@leopard.cs.byu.edu Subject: Re: sequences In-Reply-To: <199509301611.LAA05346@beach.sctc.com> References: <199509301527.KAA02372@arcadia.sctc.com> <199509301611.LAA05346@beach.sctc.com> Organization: Secure Computing Corp. X-Zippy: -- In 1962, you could buy a pair of SHARKSKIN SLACKS, with a >>>>> "Tom" == Tom Melham writes: >> I need a theory for finite sequences. I looked in library and >> contrib sections of the distribution and did not find one. Am I >> missing something obvious? Tom> Can you just use the built-in theory of lists? Tom> Tom Yeah, probably. I realized that sequences were just lists after I sent the message. duh... thanks mike