[Logiweb] Repeated definitions

Frederik Eriksen frederikeriksen at get2net.dk
Tue Jun 21 00:21:40 CEST 2005


Hi logiweb at diku.dk,

Are you allowed to write the same definition of a lemma twice in your 
Logiweb document? (You may wish to do so in order to make the text 
easier to read for humans). By "definition of a lemma" I mean sometning 
like:

"[ math in theory system prime s lemma xyz says (...) end lemma end math ]"

Best Regards
Frederik.


More information about the Logiweb mailing list