19       register :theorem, :end, to: :theorem
96                    type2: 'theorem')
119                    type2: 'theorem')
143                    type2: 'theorem')
149       def theorem(current_element)
151           theorem = ontology.theorems.update_or_create_from_hash(
156           logic_callback.theorem(current_element, theorem)
164                        class: 'theorem',

Indexes created Tue Jul 24 14:28:13 CEST 2018