Skip to content
Permalink
Browse files

fixed file name in cl-text

  • Loading branch information...
bahar.ameri@gmail.com
bahar.ameri@gmail.com committed May 13, 2014
1 parent 5e8b328 commit 5d6786442b3d319b2cc4bdc4e2f8fbe7e4ec8391
Showing with 1 addition and 2 deletions.
  1. +1 −2 ontologies/multimereology/ppcnt.clif
@@ -1,5 +1,4 @@

(cl-text http://colore.oor.net/multimereology/fo_pcc.clif
(cl-text http://colore.oor.net/multimereology/ppcnt.clif

(forall (x y)
(if (pp x y)

0 comments on commit 5d67864

Please sign in to comment.
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.