Skip to content
Permalink
Browse files

updated quotes in between_quarternary

  • Loading branch information...
carmenchui committed Jun 20, 2018
1 parent 754c8de commit b81b3ab9349f5c38dfd16436ead246743d6685a0
@@ -12,9 +12,9 @@

(cl-imports http://colore.oor.net/between_quaternary/btw_basic.clif)

(cl-comment "axioms of orderable betweenness")
(cl-comment 'axioms of orderable betweenness')

(cl-comment "B: one of three distinct elements is in the middle position")
(cl-comment 'B: one of three distinct elements is in the middle position')

(forall (r a b c)
(if
@@ -13,7 +13,7 @@
(cl-imports http://colore.oor.net/between_quaternary/btw_basic.clif)


(cl-comment "B-T1: ")
(cl-comment 'B-T1: ')

(forall (r a b c)
(if
@@ -23,7 +23,7 @@
)


(cl-comment "B-T2: Huntington postulate 3")
(cl-comment 'B-T2: Huntington postulate 3')

(forall (r a b x y)
(if
@@ -37,7 +37,7 @@



(cl-comment "B-A6: separation property: NOT PROVABLE")
(cl-comment 'B-A6: separation property: NOT PROVABLE')

(forall (r a b c x)
(if
@@ -13,7 +13,7 @@
(cl-imports http://colore.oor.net/between_quaternary/btw_orderable.clif)


(cl-comment "separation property")
(cl-comment 'separation property')

(forall (r a b c x)
(if
@@ -26,7 +26,7 @@
)


(cl-comment "no more than one of three distinct elements is in the middle position")
(cl-comment 'no more than one of three distinct elements is in the middle position')

(forall (r a b c)
(if
@@ -39,7 +39,7 @@
)


(cl-comment "4")
(cl-comment '4')

(forall (r a b x y)
(if
@@ -56,7 +56,7 @@
)


(cl-comment "6")
(cl-comment '6')

(forall (r a b x y)
(if

0 comments on commit b81b3ab

Please sign in to comment.
You can’t perform that action at this time.