[opentheory-users] new_specification

[Ramana Kumar]

On Mon, Mar 10, 2014 at 4:09 PM, Rob Arthan <rda at lemma-one.com> wrote:

> Out of interest, what have you called the new rule?
>

I followed your lead in calling it "gen_new_specification". Initially I was
using "loose_specification", which I think is worse.
I think "gen_" is pretty good. Alternatively I might, in the end, go for a
backwards incompatible change (for HOL4) and make the new rule
"new_specification" and the old new_specification something else like
"existential_specification".


>
> Regards,
>
> Rob.
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20140311/735bef42/attachment.html>