Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <04043-0@swan.cl.cam.ac.uk>; Thu, 23 Jan 1992 01:38:28 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA25664; Wed, 22 Jan 92 17:25:22 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA25660; Wed, 22 Jan 92 17:25:08 -0800 Received: from scaup.cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP-6.0) to cl id <03942-0@swan.cl.cam.ac.uk>; Thu, 23 Jan 1992 01:26:59 +0000 Received: by scaup.cl.cam.ac.uk (4.1/SMI-3.0DEV3) id AA27199; Thu, 23 Jan 92 01:26:56 GMT Date: Thu, 23 Jan 92 01:26:56 GMT From: John.Van-Tassel@uk.ac.cam.cl Message-Id: <9201230126.AA27199@scaup.cl.cam.ac.uk> To: chou@edu.ucla.cs, info-hol@edu.uidaho.cs.ted Subject: Re: AKCL-1-599 -> AKCL-1-605 Any compiled files need to be rebuild (.l -> .o, and .ml -> _ml.o). The theory files are OK (as long as you haven't switched HOL versions!). JVT ------------------------------------------------------------------------------ John Van Tassel | Tel: +44-223-334729 Univ. of Cambridge | Fax: +44-223-334678 Computer Laboratory | Pembroke Street | Email: jvt@cl.cam.ac.uk Cambridge CB2 3QG | England |