ulkb.Theory.prelude =================== .. currentmodule:: ulkb .. autoproperty:: Theory.prelude