Skip to content
Permalink
Browse files

Ontology name in CODI: cont_c_theorems corrected

  • Loading branch information...
thahmann committed Mar 30, 2019
1 parent d908bf4 commit d78de875f7c3afb91ae4c4b62eaccb5846541dca
Showing with 1 addition and 1 deletion.
  1. +1 −1 ontologies/multidim_mereotopology_cont/theorems/cont_c_theorems.clif
@@ -8,7 +8,7 @@
* Torsten Hahmann - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/multidim_mereotopology_cont/cont_c_theorems.clif
(cl-text http://colore.oor.net/multidim_mereotopology_cont/theorems/cont_c_theorems.clif

(cl-imports http://colore.oor.net/multidim_mereotopology_cont/definitions/c.clif)

0 comments on commit d78de87

Please sign in to comment.
You can’t perform that action at this time.