History log of /ontohub/db/migrate/20150806044907_remove_basic_proof_model.rb
Revision Date Author Comments Expand
98d85d1178e853d8cd9628a86b7362481a921b9b 06-Aug-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Remove unused BasicProof model.