Searched refs:AddProvableToTheorems (Results 1 - 1 of 1) sorted by relevance

/ontohub/db/migrate/
H A D20150805104332_add_provable_to_theorems.rb1 class AddProvableToTheorems < ActiveRecord::Migration class

Completed in 7 milliseconds