Cross Reference: 20150805104332_add_provable_to_theorems.rb
xref
: /
ontohub
/
db
/
migrate
/
20150805104332_add_provable_to_theorems.rb
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
History log of
/ontohub/db/migrate/20150805104332_add_provable_to_theorems.rb
Revision
Compare
Date
Author
Comments
Expand
9bcd2b68914ea7b2fe7e356ad64cdaca04561e98
14-Sep-2015
Eugen Kuksa <eugenk@informatik.uni-bremen.de>
Add provable attribtue to Theorem.
/ontohub/app/models/ontology/sentences.rb
/ontohub/app/models/theorem.rb
20150805104332_add_provable_to_theorems.rb