Cross Reference:
xref: /ontohub/spec/fixtures/ontologies/tptp
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
dev revision d914e44509abf8bf305d00ebc5c6282dd84e809b
9336f01769f16a8eda79340094d663db0f8537c7Evan Hunttree d914e44509abf8bf305d00ebc5c6282dd84e809b:
9336f01769f16a8eda79340094d663db0f8537c7Evan Hunt
9336f01769f16a8eda79340094d663db0f8537c7Evan Hunt.gitignore
9336f01769f16a8eda79340094d663db0f8537c7Evan HuntCOPYING
9336f01769f16a8eda79340094d663db0f8537c7Evan HuntChangeLog
9336f01769f16a8eda79340094d663db0f8537c7Evan HuntINSTALL
9336f01769f16a8eda79340094d663db0f8537c7Evan HuntMakefile.am
9336f01769f16a8eda79340094d663db0f8537c7Evan HuntNEWS
9336f01769f16a8eda79340094d663db0f8537c7Evan HuntREADME
9336f01769f16a8eda79340094d663db0f8537c7Evan HuntTODO
9336f01769f16a8eda79340094d663db0f8537c7Evan Huntautogen.sh
9336f01769f16a8eda79340094d663db0f8537c7Evan Huntconfigure.ac
9336f01769f16a8eda79340094d663db0f8537c7Evan Huntm4/
9336f01769f16a8eda79340094d663db0f8537c7Evan Huntrules/
9336f01769f16a8eda79340094d663db0f8537c7Evan Huntsrc/
9336f01769f16a8eda79340094d663db0f8537c7Evan Hunttest/
9336f01769f16a8eda79340094d663db0f8537c7Evan Hunt

Indexes created Tue Jul 24 14:28:13 CEST 2018