Skip to content
Permalink
Browse files

COLORE subdirectory additions phase 3, addition of .clif to URI names…

…pace
  • Loading branch information...
megan.katsumi@gmail.com
megan.katsumi@gmail.com committed Jun 5, 2013
1 parent 5d9f887 commit b2b3517de48c90bf3939958878e91145aa513aa7
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/time_interval_incidence/hayes_point_continuum
(cl-text http://colore.oor.net/time_interval_incidence/hayes_point_continuum.clif

(cl-imports http://colore.oor.net/timepoints/linear_point)
(cl-imports http://colore.oor.net/timepoints/linear_point.clif)

(forall (x y)
(if (in x y)
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/time_interval_incidence/point_continuum
(cl-text http://colore.oor.net/time_interval_incidence/point_continuum.clif

(cl-imports http://colore.oor.net/timepoints/linear_point)
(cl-imports http://colore.oor.net/timepoints/linear_point.clif)

(forall (x y)
(iff (timepoint x)
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/time_interval_incidence/point_continuum_def
(cl-text http://colore.oor.net/time_interval_incidence/point_continuum_def.clif

(cl-imports http://colore.oor.net/time_interval_incidence/point_continuum)
(cl-imports http://colore.oor.net/time_interval_incidence/point_continuum.clif)

(forall (i j)
(iff (acoao i j)

0 comments on commit b2b3517

Please sign in to comment.
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.