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

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