Re: [open-axiom-devel] [open-axiom-commit] Declared variable with no specified values [was: SF.net SVN: open-axiom:[1190] htdocs/1.3/index.html]

On Mon, Jun 8, 2009 at 11:27 AM, Gabriel Dos Reis wrote: > On Mon, Jun 8, 2009 at 9:55 AM, Bill Page wrote: >> Gaby, >> >> I noticed the following commit item in passing: >> >>> Declared variable with no specified values are now handled >>> +         as if symbolic value with a specified type. >>>

Re: [open-axiom-devel] [open-axiom-commit] Declared variable with no specified values [was: SF.net SVN: open-axiom:[1190] htdocs/1.3/index.html]

On Mon, Jun 8, 2009 at 9:55 AM, Bill Page wrote: > Gaby, > > I noticed the following commit item in passing: > >> Declared variable with no specified values are now handled >> +         as if symbolic value with a specified type. >> + > > Could you explain a little about how this works. Specificall

[open-axiom-devel] Declared variable with no specified values [was: SF.net SVN: open-axiom:[1190] htdocs/1.3/index.html]

Gaby, I noticed the following commit item in passing: > Declared variable with no specified values are now handled > + as if symbolic value with a specified type. > + Could you explain a little about how this works. Specifically: What is meant by "handled as if symbolic value with a spec