Permalink
Browse files

fixing more typos

  • Loading branch information...
michael.gruninger
michael.gruninger committed Feb 5, 2014
1 parent 3505bd6 commit e4fa8c612fc8df12683c3a8f1212ae3080c353f3
@@ -1,6 +1,6 @@
(cl-text http://colore.oor.net/arithmetic/succ_less.clif
(cl-imports linear_ordering)
(cl-imports http://colore.oor.net/orderings/linear_ordering.clif)
(forall (y)
(if (not (= y zero))
@@ -14,4 +14,4 @@
(forall (x)
(not (lt x zero)))
)
)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/between/bet.clif
(cl-imports http://colore.oor.net/between/weak_bet.clif)
(cl-imports http://colore.oor.net/between/weak_between.clif)
(forall (x y z w)
(if (and (between x y z)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/between/convexity.clif
(cl-imports http://colore.oor.net/between/weak_bet.clif)
(cl-imports http://colore.oor.net/between/weak_between.clif)
(forall (x y z w v)
(if (and (between x y z)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/between/coppel_linear.clif
(cl-imports http://colore.oor.net/between/convex_pasch.clif)
(cl-imports http://colore.oor.net/between/coppel_pasch.clif)
(cl-comment "Axiom L2")
(forall (a b c d)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/between/coppel_prop2.clif
(cl-imports http://colore.oor.net/between/weak_bet.clif)
(cl-imports http://colore.oor.net/between/weak_between.clif)
(forall (a b1 b2 c1 c2 c)
(if (and (between a c1 b1)
@@ -41,7 +41,7 @@
(forall (a b)
(if (not (= a b))
(exists (c)
(between a c b )))
(between a c b ))))
(cl-comment "IP")
(forall (a b c d e)
@@ -1,6 +1,6 @@
(cl-text http://colore.oor.net/between/not_strict_between.clif
(cl-imports http://colore.oor.net/between/weak_bet.clif)
(cl-imports http://colore.oor.net/between/weak_between.clif)
(not (forall (p q r)
(if (between p q r)
@@ -1,6 +1,6 @@
(cl-text http://colore.oor.net/between/not_strong_between.clif
(cl-imports http://colore.oor.net/between/weak_bet.clif)
(cl-imports http://colore.oor.net/between/weak_between.clif)
(not (forall (p q r)
(if (between p q r)
@@ -41,7 +41,7 @@
(forall (a b)
(if (not (= a b))
(exists (c)
(between a c b )))
(between a c b ))))
(cl-comment "OP")
(forall (a b c d e)
@@ -1,6 +1,6 @@
(cl-text http://colore.oor.net/between/strict_between.clif
(cl-imports http://colore.oor.net/between/weak_bet.clif)
(cl-imports http://colore.oor.net/between/weak_between.clif)
(forall (p q r)
(if (between p q r)
@@ -1,6 +1,6 @@
(cl-text http://colore.oor.net/between/strict_linearity.clif
(cl-imports http://colore.oor.net/between/weak_bet.clif)
(cl-imports http://colore.oor.net/between/weak_between.clif)
(forall (x y z)
(if (and (not (= x y))
@@ -1,6 +1,6 @@
(cl-text http://colore.oor.net/between/strong_between.clif
(cl-imports http://colore.oor.net/between/weak_bet.clif)
(cl-imports http://colore.oor.net/between/weak_between.clif)
(forall (p q r)
(if (between p q r)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/between/weak_between.clif
(cl-imports http://colore.oor.net/between/betweenness.clif
(cl-imports http://colore.oor.net/between/betweenness.clif)
(forall (x y)
(if (between x y x)
@@ -33,13 +33,10 @@
(and
(In x l)
(In y l)
(In z l)
)
)
(or
(Btw l y x z)
(In z l))
(or (Btw l y x z)
(Btw l z y x)
(Btw l x z y)
(Btw l x z y))
)
)
@@ -12,9 +12,9 @@
(cl-comment "Time interval version of psl-core with moments.")
(cl-comment "Import the interval version of PSL-core.")
(cl-imports http://colore.oor.net/interval_psl_core.clif)
(cl-imports http://colore.oor.net/interval_psl/interval_psl_core.clif)
(cl-comment "Import the endpoints version of moments.")
(cl-imports http://colore.oor.net/combined_time/moment_with_endpoints.clif)
)
)
@@ -14,6 +14,6 @@
(exists (z)
(and (point z)
(in z l))
(between x y z)))))))))
(between x y z))))))))
)
@@ -2,7 +2,7 @@
(cl-imports http://colore.oor.net/psl_actocc/actocc.clif)
(cl-comment %x.th:def-same_grove (added 5-Jun-2009))
(cl-comment "x.th:def-same_grove (added 5-Jun-2009)")
(forall (o1 o2)
(iff (same_grove o1 o2)
(exists (a s1 s2)
@@ -16,7 +16,7 @@
(and (= s1 (successor a1 s4))
(= s2 (successor a2 s4)))))))))
(cl-comment %x.th:def-same_tree (added 5-Jun-2009))
(cl-comment "x.th:def-same_tree (added 5-Jun-2009)")
(forall (s1 s2 a)
(iff (same_tree s1 s2 a)
(exists (o1 o2)
@@ -26,54 +26,54 @@
(subactivity_occurrence s1 o1)
(subactivity_occurrence s2 o2)))))
(cl-comment %soo.th:ax1)
(cl-comment "soo.th:ax1")
(forall (a s)
(if (soo s a)
(or (root s a)
(exists (s1)
(min_precedes s1 s a)))))
(cl-comment %soo.th:ax2)
(cl-comment "soo.th:ax2")
(forall (s1 a)
(if (root s1 a)
(exists (s2)
(and (soo s2 a)
(mono s1 s2 a)
(same_tree s1 s2 a)))))
(cl-comment %soo.th:ax3)
(cl-comment "soo.th:ax3")
(forall (s1 s2 a)
(if (min_precedes s1 s2 a)
(exists (s3)
(and (soo s3 a)
(mono s2 s3 a)
(same_tree s3 s2 a)))))
(cl-comment %soo.th:ax4 (revised 15-Jun-2009))
(cl-comment "soo.th:ax4 (revised 15-Jun-2009)")
(forall (s1 s2 s3 a)
(if (and (preserve s1 s2 a)
(preserve s2 s3 a))
(or (preserve s1 s3 a)
(preserve s2 s1 a)
(preserve s3 s2 a))))
(cl-comment %soo.th:ax5)
(cl-comment "soo.th:ax5")
(forall (s1 s2 a)
(if (and (mono s1 s2 a)
(soo s1 a)
(soo s2 a)
(same_tree s1 s2 a))
(= s1 s2)))
(cl-comment %soo.th:ax6)
(cl-comment "soo.th:ax6")
(forall (a s1 s2)
(iff (soo_precedes s1 s2 a)
(and (soo s1 a)
(soo s2 a)
(preserve s1 s2 a)
(not (preserve s2 s1 a)))))
(cl-comment %soo.th:ax7)
(cl-comment "soo.th:ax7")
(forall (s1 s2 a)
(iff (preserve s1 s2 a)
(exists (s3 s4)
@@ -83,7 +83,7 @@
(same_tree s1 s2 a)
(same_tree s2 s3 a)))))
(cl-comment %soo.th:ax8)
(cl-comment "soo.th:ax8")
(forall (s1 s2 s3 a)
(if (and (preserve s1 s2 a)
(preserve s2 s3 a)

0 comments on commit e4fa8c6

Please sign in to comment.