db/migrate/20150805104332_add_provable_to_theorems.rb

	20150805104332_add_provable_to_theorems.rb revision 9bcd2b68914ea7b2fe7e356ad64cdaca04561e98
class AddProvableToTheorems < ActiveRecord::Migration
  def change
    add_column :sentences, :provable, :boolean, default: false, null: false
  end
end