[opentheory-users] Wrong certificates

[Joe Leslie-Hurd]

Hi Chantal,

Though bad form it's still legal syntax, so the opentheory tool will
accept such .thy files but will print a warning about the bad form.

Cheers,

Joe

On Mon, Nov 19, 2012 at 9:29 AM, Chantal Keller
<chantal.keller at wanadoo.fr> wrote:
> Thanks to both of you.
>
> Le 19/11/2012 18:17, Joe Leslie-Hurd a écrit :
>> As Ramana said, it is considered bad form for a theory to contain a
>> theorem/assumption with a non-empty set of hypotheses or free term
>> variables in the conclusion.
>
> As I understand you, if I gave a theory (.thy file) corresponding to my
> article, opentheory would reject it?
>
> --
> Chantal KELLER