Skip to content
Permalink
Browse files

use of "cl-import" changed to "cl-imports"

  • Loading branch information...
thahmann committed Mar 30, 2019
1 parent d78de87 commit 3d74ac9c3f81d92925d5f067b30228d61ae68978
@@ -11,7 +11,7 @@

(cl-text http://colore.oor.net/bipartite_incidence/branchless_boundary.clif

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

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

@@ -11,7 +11,7 @@

(cl-text http://colore.oor.net/bipartite_incidence/loopless_boundary.clif

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

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

@@ -10,7 +10,7 @@

(cl-text http://colore.oor.net/containment/containment_def.clif

(cl-import http://colore.oor.net/occupy/occupy_root.clif)
(cl-imports http://colore.oor.net/occupy/occupy_root.clif)

(forall (x y)
(iff (containedIn x y)
@@ -11,7 +11,7 @@

(cl-text http://colore.oor.net/mereology/definitions/comp.clif

(cl-import http://colore.oor.net/mereology/definitions/overlaps.clif)
(cl-imports http://colore.oor.net/mereology/definitions/overlaps.clif)

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

0 comments on commit 3d74ac9

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