Cross Reference:
xref
: /
ontohub
/
test
/
unit
/
basic_proof_test.rb
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
basic_proof_test.rb revision 598327764a23d4b35d5454c611ad9e2ec815220f
tree
598327764
a23d4b35d5454c611ad9e2ec815220f
:
.
gitignore
.hound.yml
.
rspec
.
ruby
-
gemset
.
ruby
-
version
.travis.yml
Capfile
Gemfile
Gemfile.lock
LICENSE
README.md
Rakefile
app
/
bin
/
config.ru
config
/
db
/
doc
/
features
/
git
/
invoker.ini
lib
/
public
/
registry
/
script
/
solr
/
spec
/
syntax
/
test
/
vendor
/