Permalink
Browse files

changed incidence foliations to import mereological geometry

  • Loading branch information...
michael.gruninger
michael.gruninger committed Feb 14, 2014
1 parent 2930099 commit 715bbf02e430d8b25d40b76c44161a78621afa8c
@@ -3,6 +3,6 @@
(cl-imports http://colore.oor.net/incidence_foliation/downward_in_foliation.clif)
(cl-imports http://colore.oor.net/planar_mereology/cem_pm.clif)
(cl-imports http://colore.oor.net/mereological_geometry/cem_wmg.clif)
)
@@ -3,6 +3,6 @@
(cl-imports http://colore.oor.net/incidence_foliation/downward_in_foliation.clif)
(cl-imports http://colore.oor.net/planar_mereology/ideal_cem_pm.clif)
(cl-imports http://colore.oor.net/mereological_geometry/ideal_cem_wmg.clif)
)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/incidence_foliation/in_foliation_root.clif
(cl-imports http://colore.oor.net/planar_mereology/wpm.clif)
(cl-imports http://colore.oor.net/mereological_geometry/wmg.clif)
(cl-imports http://colore.oor.net/incidence_bundle/in_bundle.clif)

0 comments on commit 715bbf0

Please sign in to comment.