renamed theories in Combined Mereotopology Hierarchy

gruninger · Sep 4, 2017 · 91b3282 · 91b3282
1 parent 9bb12e7
commit 91b3282
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...es/combined_mereotopology/weak_cm_mt.clif → ...gies/combined_mereotopology/weak_cmt.clif b/...es/combined_mereotopology/weak_cm_mt.clif → ...gies/combined_mereotopology/weak_cmt.clif
@@ -1,4 +1,4 @@
-(cl-text http://colore.oor.net/combined_mereotopology/weak_cm_mt.clif
+(cl-text http://colore.oor.net/combined_mereotopology/weak_cmt.clif
 
 (cl-imports http://colore.oor.net/combined_mereotopology/mt.clif)