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_ident : string list -> string
val z_sig_order : string -> string -> int
end
val it = () : unit
+++ Compiled dtd048.sml: OK (Compilation Run Complete) +++
Exception Fail * The database name has not been set [save_and_exit.36010] *
raised
:) End of input to use_terminal. Quit.
--
Artur Oliveira Gomes
_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
