Artur,

On Friday 19 Dec 2008 3:10 pm, Artur Oliveira Gomes wrote:
> Ops,
>
> I forgot to reply to all...
>
> Here follows the extract of imp048.err:
>
> val it = () : unit
> val it = () : unit
> === ProofPower 2.8.1a10 [HOL Database]
> === Copyright (C) Lemma 1 Ltd. 2000-2008
>
> Database name:
> :) Error-Signature (ZTypesAndTermsSupport) has not been declared   Found
>
> near
> ZTypesAndTermsSupport
> Exception Fail: Fail "Static errors (pass2)" raised abandoning file
> imp048.sml
>  at line 521
> +++ Compiled imp048.sml: Failed (Compilation Run Complete) +++
>...

The signature should have been defined when dtd048.sml was compiled. The log 
from compiling dtd048.sml should be in src/dtd048.ldd, so do you have that 
file? And what does it say?

Regards,

Rob.


_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to