Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Sun, 9 May 1993 15:47:08 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA03066;
          Sun, 9 May 93 07:37:09 -0700
Sender: info-hol-request@ted.cs.uidaho.edu
Errors-To: info-hol-request@ted.cs.uidaho.edu
Precedence: bulk
Received: from scylla.oracorp.com by ted.cs.uidaho.edu (16.6/1.34) id AA03061;
          Sun, 9 May 93 07:37:00 -0700
Received: from sparta.oracorp.com by oracorp.com (4.1/2.1-ORA Corporation) 
          id AA08571; Sun, 9 May 93 10:37:00 EDT
Date: Sun, 9 May 93 10:36:56 EDT
From: shb@oracorp.com
Received: by sparta.oracorp.com (4.1/1.3-ORA Corporation) id AA02600;
          Sun, 9 May 93 10:36:56 EDT
Message-Id: <9305091436.AA02600@sparta.oracorp.com>
To: info-hol@ted.cs.uidaho.edu
Subject: Can't solve recursion equation


I'm defining several functions with new_recursive_definition, and the
most difficult debugging comes after I get the

  Can't solve recursion equation

error message.  Every time so far, the problem has been that I've
misspelled some constant's name.  Do people have any recommendations
for a relatively painless way of finding such errors?  I'm using HOL90
release 5 if that makes a difference in the answer.

Steve Brackin
ORA