Permalink
Browse files

modifications to mereological foliation

  • Loading branch information...
michael.gruninger
michael.gruninger committed Jun 12, 2013
1 parent da2f280 commit 91f2d2467fa543e575bd932acad92a3c51b1ef57
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/mereological_foliation/downward_m_foliation.clif
(cl-imports http://colore.oor.net/mereological_foliation/m_foliation_root.clif)
(cl-imports http://colore.oor.net/mereological_foliation/m_foliation.clif)
(forall (x y p1 p2)
(if (and (tpart x y p1)

This file was deleted.

Oops, something went wrong.
@@ -1,5 +1,5 @@
(cl-text http://colore.oor.net/mereological_foliation/m_foliation_root.clif
(cl-text http://colore.oor.net/mereological_foliation/m_foliation.clif
(cl-imports http://colore.oor.net/mereological_geometry/wmg.clif)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/mereological_foliation/upward_m_foliation.clif
(cl-imports http://colore.oor.net/mereological_foliation/m_foliation_root.clif)
(cl-imports http://colore.oor.net/mereological_foliation/m_foliation.clif)
(forall (x y p1 p2)
(if (and (tpart x y p2)

0 comments on commit 91f2d24

Please sign in to comment.