Return-Path: <John.Harrison-request@cl.cam.ac.uk>
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 16:46:42 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA170294860;
          Sat, 30 Sep 1995 09:27:40 -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 AA170254858;
          Sat, 30 Sep 1995 09:27:38 -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 KAA20710 
          for <info-hol@leopard.cs.byu.edu>; Sat, 30 Sep 1995 10:31:56 -0500
Received: from sccmailhost.sctc.com by sccmailhost.sctc.com id 279700000;
          30 Sep 95 11:27 CDT
Received: from sctc.com by sccmailhost.sctc.com id 285780000;
          30 Sep 95 11:27 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 KAA01542 
          for <info-hol@lal.cs.byu.edu>; Sat, 30 Sep 1995 10:27:15 -0500
Received: (from coe@localhost) by arcadia.sctc.com (8.6.12/8.6.9) id KAA02372;
          Sat, 30 Sep 1995 10:27:13 -0500
Date: Sat, 30 Sep 1995 10:27:13 -0500
From: Mike Coe <coe@sctc.com>
Message-Id: <199509301527.KAA02372@arcadia.sctc.com>
To: info-hol@leopard.cs.byu.edu
Subject: sequences
Organization: Secure Computing Corp.
X-Zippy: I brought my BOWLING BALL - and some DRUGS!!




Hello,

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?

  Anyone  got a theory of finite sequences lying around


thanks

mike

Michael L Coe                       |    We have tamed lightning
coe@sctc.com                        |    and used it to teach sand
\disclaimer{I speak for myself}     |    how to think.

GCS -d+ H-- !g a- v?  C++ BS++ P+ E+ N++ !W t+
