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:58:56 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA173686186;
          Sat, 30 Sep 1995 09:49:46 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from vanuata.dcs.gla.ac.uk by leopard.cs.byu.edu 
          with ESMTP (1.37.109.15/16.2) id AA173656185;
          Sat, 30 Sep 1995 09:49:45 -0600
Received: from gozo.dcs.gla.ac.uk by vanuata.dcs.gla.ac.uk with LOCAL SMTP (PP);
          Sat, 30 Sep 1995 16:49:21 +0100
To: Mike Coe <coe@sctc.com>
Cc: info-hol@leopard.cs.byu.edu, tfm@dcs.gla.ac.uk
Subject: Re: sequences
In-Reply-To: Your message of "Sat, 30 Sep 1995 10:27:13 CDT." <199509301527.KAA02372@arcadia.sctc.com>
Date: Sat, 30 Sep 1995 16:49:18 +0100
From: Tom Melham <tfm@dcs.gla.ac.uk>
Message-ID: <"swan.cl.cam.:112070:950930155932"@cl.cam.ac.uk>


> 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?

Can you just use the built-in theory of lists?

Tom