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:
>
Rob,
> 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?
>
val unpack_ident : string -> string * string
val val_numeral : string -> int
val val_set
Artur,
What do the top 10 lines of src/dtd048.ldd say?
Regards,
Rob.
On Saturday 20 Dec 2008 12:53 pm, Artur Oliveira Gomes wrote:
> Rob,
>
> > 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 h
Rob,
val it = () : unit
val it = () : unit
=== ProofPower 2.8.1a10 [HOL Database]
=== Copyright (C) Lemma 1 Ltd. 2000-2008
Database name:
:) signature ZTypesAndTermsSupport =
sig
val ¶‰1‰s_bname :
string list -> string list -> string
val ¶‰1‰s_bterm :
(string * TYPE) list -
Artur,
On Saturday 20 Dec 2008 2:05 pm, Artur Oliveira Gomes wrote:
> Rob,
>
> val it = () : unit
> val it = () : unit
> === ProofPower 2.8.1a10 [HOL Database]
> === Copyright (C) Lemma 1 Ltd. 2000-2008
>
> Database name:
>...
This strongly suggests that you are somehow picking up an earlier vers