Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.4) outside ac.uk; Fri, 16 Apr 1993 23:55:36 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA08118;
          Fri, 16 Apr 93 15:46:50 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from snake.cs.uidaho.edu by ted.cs.uidaho.edu (16.6/1.34) id AA08113;
          Fri, 16 Apr 93 15:46:46 -0700
Received: by snake.cs.uidaho.edu id AA08753 (5.65c/IDA-1.4.4 for info-hol@ted);
          Fri, 16 Apr 1993 15:43:56 -0700
Date: Fri, 16 Apr 1993 15:43:56 -0700
From: "Lucas James Sheneman." <sheneman@edu.uidaho.cs.snake>
Message-Id: <199304162243.AA08753@snake.cs.uidaho.edu>
To: info-hol@edu.uidaho.cs.ted
Subject: HOL90 and ancestry.


When I do this in HOL90:

(Add_to_sml.add_theory_to_sml "string") handle HOL_ERR {message,...} =>
        output(std_out,message);

I get this:

- - not an ancestor theoryval it = () : unit
-


String should be the string theory that is located in:

hol90.5/library/string/theories/ascii

I have my theory path set correctly, as far as I can tell.  What am I 
forgetting to do? 


							Sheneman.