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 [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
