Skip to content
Permalink
Browse files

updated comments in combined_time with single quotes

  • Loading branch information...
carmenchui committed Jun 20, 2018
1 parent 3efef9a commit 9fae803f60ff7c2033a9b04f0f13ea5d81be11f6
@@ -3,7 +3,7 @@

(cl-imports http://colore.oor.net/combined_time/endpoints.clif)

(cl-comment "colore/verification/combined_time/entailment/endpoints_lemmas/ex213-1")
(cl-comment 'colore/verification/combined_time/entailment/endpoints_lemmas/ex213-1')
(forall (l)
(if (timeinterval l)
(exists (p q)
@@ -15,7 +15,7 @@
(and (= q (beginof l))
(= p (endof l))))))))

(cl-comment "colore/verification/combined_time/entailment/endpoints_lemmas/ex213-2")
(cl-comment 'colore/verification/combined_time/entailment/endpoints_lemmas/ex213-2')
(forall (l)
(if (timeinterval l)
(exists (p q)
@@ -25,7 +25,7 @@
(or (= l (between p q))
(= l (between q p)))))))

(cl-comment "colore/verification/combined_time/entailment/endpoints_lemmas/ex213-3")
(cl-comment 'colore/verification/combined_time/entailment/endpoints_lemmas/ex213-3')
(forall (p q)
(if (and (timepoint p)
(timepoint q)
@@ -37,7 +37,7 @@
(and (= p (beginof l))
(= q (endof l))))))))

(cl-comment "colore/verification/combined_time/entailment/endpoints_lemmas/ex213-4")
(cl-comment 'colore/verification/combined_time/entailment/endpoints_lemmas/ex213-4')
(forall (p q)
(if (and (timepoint p)
(timepoint q)
@@ -47,7 +47,7 @@
(or (= l (between p q))
(= l (between q p)))))))

(cl-comment "colore/verification/combined_time/entailment/endpoints_lemmas/ex213-5")
(cl-comment 'colore/verification/combined_time/entailment/endpoints_lemmas/ex213-5')
(forall (x y z w)
(if (and (timepoint x)
(timepoint y)
@@ -63,34 +63,34 @@
(= z y)
(= x y))))

(cl-comment "colore/verification/combined_time/entailment/endpoints_lemmas/ex307-1")
(cl-comment 'colore/verification/combined_time/entailment/endpoints_lemmas/ex307-1')
(forall (p q)
(if (before p q)
(= (between p q)
(between (beginof (between p q)) (endof (between p q))))))

(cl-comment "colore/verification/combined_time/entailment/endpoints_lemmas/ex308-1")
(cl-comment 'colore/verification/combined_time/entailment/endpoints_lemmas/ex308-1')
(forall (x y)
(iff (and (timeinterval y)
(= x (beginof y)))
(exists (z)
(and (before x z)
(= y (between x z))))))

(cl-comment "colore/verification/combined_time/entailment/endpoints_lemmas/ex308-2")
(cl-comment 'colore/verification/combined_time/entailment/endpoints_lemmas/ex308-2')
(forall (x y)
(iff (and (timeinterval y)
(= x (endof y)))
(exists (z)
(and (before z x)
(= y (between z x))))))

(cl-comment "colore/verification/combined_time/entailment/endpoints_lemmas/ex308-3")
(cl-comment 'colore/verification/combined_time/entailment/endpoints_lemmas/ex308-3')
(forall (i)
(iff (timeinterval i)
(= i (between (beginof i) (endof i)))))

(cl-comment "colore/verification/combined_time/entailment/endpoints_lemmas/ex313-1")
(cl-comment 'colore/verification/combined_time/entailment/endpoints_lemmas/ex313-1')
(forall (i1 i2 p1 p2)
(if (and (timepoint p1)
(timepoint p2)
@@ -12,7 +12,7 @@

(cl-imports http://colore.oor.net/combined_time/finite_sim_vc_end.clif)

(cl-comment "Imports the lp_infinite_end theory.")
(cl-comment 'Imports the lp_infinite_end theory.')
(cl-imports http://colore.oor.net/timepoints/lp_infinite_end.clif)

)
@@ -10,10 +10,10 @@

(cl-text http://colore.oor.net/combined_time/moment_with_endpoints.clif

(cl-comment "Imports the interval with endpoints theory.")
(cl-comment 'Imports the interval with endpoints theory.')
(cl-imports http://colore.oor.net/combined_time/interval_with_endpoints.clif)

(cl-comment "Imports the moment theory.")
(cl-comment 'Imports the moment theory.')
(cl-imports http://colore.oor.net/combined_time/finite_moment.clif)

)

0 comments on commit 9fae803

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