It looks like the formatted reference for Propositions is not working properly. While other math environments like "Theorem" and "Lemma" correctly put the word "Theorem" (resp. Lemma, etc.) in the reference, in the case of propositions, only the number appears. Is this normal? How can it be fixed? Can I specify the format of references somewhere?
Thanks. PS: I'm using LyX 1.6.1 on ubuntu, and I am using the Theorem modules in the document settings. -- Ernesto Posse Applied Formal Methods Group - Software Technology Lab School of Computing Queen's University - Kingston, Ontario, Canada
