[opentheory-users] Wrong certificates

[Chantal Keller]

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