Skip to content
Permalink
Browse files

COLORE subdirectory additions phase 3, addition of .clif to URI names…

…pace
  • Loading branch information...
megan.katsumi@gmail.com
megan.katsumi@gmail.com committed Jun 5, 2013
1 parent bc731cb commit 048e90689e9ed1f03b76b363aa0dbda26d8ef76f
Showing with 3 additions and 3 deletions.
  1. +3 −3 ontologies/succ_geometry/succg.clif
@@ -1,9 +1,9 @@

(cl-text http://colore.oor.net/succ_geometry/succg
(cl-text http://colore.oor.net/succ_geometry/succg.clif

(cl-imports http://colore.oor.net/bipartite_incidence/weak_bipartite)
(cl-imports http://colore.oor.net/bipartite_incidence/weak_bipartite.clif)

(cl-imports http://colore.oor.net/successor/successor)
(cl-imports http://colore.oor.net/successor/successor.clif)

(forall (x y)
(if (S x y)

0 comments on commit 048e906

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.