Skip to content
Permalink
Browse files

fixing more typos

  • Loading branch information...
michael.gruninger
michael.gruninger committed Jan 30, 2014
1 parent 8d428f2 commit 66cdc3dab4de174afe818ebe02505b0ab3aed0c7
@@ -1,6 +1,6 @@
(cl-text combinedtime2intervalmeeting

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

(forall (i j)
(iff (meets i j)
@@ -2,7 +2,7 @@

(cl-text multidim_mereotopology_codib/consistency/codib_atomic_curves_all_nontrivial.clif

(cl-imports multidim_mereotopology_codib/codib_atomic_curves.clif)
(cl-imports multidim_mereotopology_codib/atomic_curve.clif)

(exists (X0 X1)
(and
@@ -2,7 +2,7 @@

(cl-text multidim_mereotopology_codib/consistency/codib_atomic_curves_all_weak_nontrivial.clif

(cl-imports multidim_mereotopology_codib/codib_atomic_curves.clif)
(cl-imports multidim_mereotopology_codib/atomic_curve.clif)

(exists (X0 X1)
(and
@@ -5,7 +5,7 @@

(cl-imports http://colore.oor.net/bipartite_incidence/graphical_incidence.clif)

(cl-imports http://colore.oor.net/ordering/discrete_forest.clif)
(cl-imports http://colore.oor.net/orderings/discrete_forest.clif)

(cl-imports http://colore.oor.net/mereology/linear_mereology.clif)

@@ -5,7 +5,7 @@

(cl-module point (cl-imports http://colore.oor.net/mereology/m_mereology.clif))

(cl-module line (cl-imports http://colore.oor.net/ordering/partial_ordering.clif))
(cl-module line (cl-imports http://colore.oor.net/orderings/partial_ordering.clif))

(forall (x y l1 l2)
(if (and (part x y)
@@ -5,7 +5,7 @@

(cl-imports http://colore.oor.net/bipartite_incidence/parallel_lines.clif)

(cl-imports http://colore.oor.net/ordering/partial_ordering.clif)
(cl-imports http://colore.oor.net/orderings/partial_ordering.clif)

(cl-imports http://colore.oor.net/mereology/em_mereology.clif)

@@ -1,9 +1,9 @@

(cl-text http://colore.oor.net/ontologies/ordered_arithmetic/oa.clif
(cl-text http://colore.oor.net/ordered_arithmetic/oa.clif

(cl-imports http://colore.oor.net/ontologies/ordering/discrete_forest.clif)
(cl-imports http://colore.oor.net/ordering/discrete_forest.clif)

(cl-imports http://colore.oor.net/ontologies/combinatorial_magma/definitions/words_def.clif)
(cl-imports http://colore.oor.net/combinatorial_magma/definitions/words_def.clif)

(forall (x y z w)
(if (and (generator y)
@@ -2,7 +2,7 @@
(cl-text http://colore.oor.net/ordered_geometry/wog.clif

(forall (x y z)
(if (between x y z))
(if (between x y z)
(between z y x)))

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

(cl-text http://colore.oor.net/ordered_ringoid/ordered_field

(cl-imports http://colore.oor.net/ringoid/field)
(cl-imports http://colore.oor.net/ringoids/field)

(cl-imports http://colore.oor.net/orderings/linear_ordering)

@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/planar_geometry/bounded_linear_planar.clif

(cl-imports http://colore.oor.net/tripartite_incidence/transitive_tripartite).clif
(cl-imports http://colore.oor.net/tripartite_incidence/transitive_tripartite.clif)

(cl-imports http://colore.oor.net/ordered_geometry/linear_exog.clif)

@@ -3,7 +3,7 @@
(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_state.clif)


%continuous.th:ax1
(cl-comment "continuous.th:ax1")
(forall (o x y)
(if (and (changes o (connect x y))
(or (changes o (connect x (compl y)))
@@ -10,7 +10,7 @@

(cl-text http://colore.oor.net/vision_cardworld/scene_interior.clif

(cl-imports fg.clif)
(cl-imports http://colore.oor.net/vision_cardworld/fg.clif)

(cl-comment "An edge is a boundary edge for a position iff the position lies on the figure side of the edge and there exists a point in the edge that is noncrossing with respect to the position.")
(forall (e t)

0 comments on commit 66cdc3d

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.