db/migrate/20141112095635_add_proof_state_to_theorem.rb

	20141112095635_add_proof_state_to_theorem.rb revision b4a0129f99341fb8b1f0d724e656d339c97e9db0
class AddProofStateToTheorem < ActiveRecord::Migration
  def change
    add_column :sentences, :proof_status, :string
  end
end