Cross Reference: generated_axiom.rb
xref: /ontohub/app/models/generated_axiom.rb
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
866c9aa341bbd88aa6747188b03f86fd324c1e43Eugen Kuksaclass GeneratedAxiom < ActiveRecord::Base
866c9aa341bbd88aa6747188b03f86fd324c1e43Eugen Kuksa belongs_to :proof_attempt
866c9aa341bbd88aa6747188b03f86fd324c1e43Eugen Kuksa attr_accessible :name
866c9aa341bbd88aa6747188b03f86fd324c1e43Eugen Kuksa
c5d86c43dd3b1fcd5d11eca04d5e44c28375d06cEugen Kuksa alias_attribute :to_s, :name
866c9aa341bbd88aa6747188b03f86fd324c1e43Eugen Kuksaend

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