Cross Reference: /ontohub/app/models/generated_axiom.rb

generated_axiom.rb revision c5d86c43dd3b1fcd5d11eca04d5e44c28375d06c

class GeneratedAxiom < ActiveRecord::Base

belongs_to :proof_attempt

attr_accessible :name

alias_attribute :to_s, :name

end