modified theories

gruninger · Nov 6, 2013 · 496daec · 496daec
1 parent 7a7fc56
commit 496daec
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/ontologies/planar_mereology/ideal_cem_pm.clif b/ontologies/planar_mereology/ideal_cem_pm.clif
@@ -1,7 +1,7 @@
 
 (cl-text http://colore.oor.net/planar_mereology/ideal_cem_pm.clif
 
-(cl-imports http://colore.oor.net/planar_mereology/ideal_cem_pm.clif)
+(cl-imports http://colore.oor.net/planar_mereology/ideal_pm.clif)
 
 (cl-imports http://colore.oor.net/mereology/cem_mereology.clif)
 

diff --git a/ontologies/subposet_foliation/partial_lower_reflect_down_foliation.clif b/ontologies/subposet_foliation/partial_lower_reflect_down_foliation.clif
@@ -0,0 +1,8 @@
+
+(cl-text http://colore.oor.net/subposet_foliation/partial_lower_reflect_down_foliation.clif
+
+(cl-imports http://colore.oor.net/subposet_foliation/lower_reflect_down_foliation.clif)
+
+(cl-imports http://colore.oor.net/bipartite_incidence/partial_bipartite.clif)
+
+)