Is there an example module that uses *other lemmas*? I'd like to study how the filter *OSISLemma* works in practice for some of the front-ends. David -- View this message in context: http://sword-dev.350566.n4.nabble.com/Other-lemmas-tp4278157p4278157.html Sent from the SWORD Dev mailing list archive at Nabble.com.