Permalink
Browse files

appended .clif extension to URIs

  • Loading branch information...
carmenschui@gmail.com
carmenschui@gmail.com committed May 29, 2013
1 parent b7a81ea commit 42edfab73ac9f099cd15fd955e779c5848eb3461
Showing with 222 additions and 222 deletions.
  1. +4 −4 ontologies/bipartite_incidence/affine_plane.clif
  2. +2 −2 ontologies/bipartite_incidence/biclosure.clif
  3. +4 −4 ontologies/bipartite_incidence/bipartite_incidence.clif
  4. +2 −2 ontologies/bipartite_incidence/bipartite_incidence_def.clif
  5. +4 −4 ontologies/bipartite_incidence/boundary_incidence.clif
  6. +2 −2 ontologies/bipartite_incidence/chordal_incidence.clif
  7. +3 −3 ontologies/bipartite_incidence/complete_graphical.clif
  8. +4 −4 ontologies/bipartite_incidence/cyclic_boundary.clif
  9. +4 −4 ontologies/bipartite_incidence/cyclic_graphical.clif
  10. +2 −2 ontologies/bipartite_incidence/distinct_shadow.clif
  11. +4 −4 ontologies/bipartite_incidence/double_complete.clif
  12. +2 −2 ontologies/bipartite_incidence/double_exist.clif
  13. +1 −1 ontologies/bipartite_incidence/double_intersect.clif
  14. +2 −2 ontologies/bipartite_incidence/double_lines.clif
  15. +4 −4 ontologies/bipartite_incidence/double_loop.clif
  16. +2 −2 ontologies/bipartite_incidence/double_points.clif
  17. +3 −3 ontologies/bipartite_incidence/firm_space.clif
  18. +2 −2 ontologies/bipartite_incidence/gamma_space.clif
  19. +3 −3 ontologies/bipartite_incidence/general_projective_plane.clif
  20. +3 −3 ontologies/bipartite_incidence/graphical_incidence.clif
  21. +2 −2 ontologies/bipartite_incidence/helly.clif
  22. +2 −2 ontologies/bipartite_incidence/hilbert_incidence.clif
  23. +2 −2 ontologies/bipartite_incidence/hilbert_parallel.clif
  24. +2 −2 ontologies/bipartite_incidence/intersect_exist.clif
  25. +2 −2 ontologies/bipartite_incidence/interval_incidence.clif
  26. +3 −3 ontologies/bipartite_incidence/leafless.clif
  27. +2 −2 ontologies/bipartite_incidence/line_existence.clif
  28. +3 −3 ontologies/bipartite_incidence/linear_space.clif
  29. +4 −4 ontologies/bipartite_incidence/loop_graphical.clif
  30. +3 −3 ontologies/bipartite_incidence/near_linear.clif
  31. +2 −2 ontologies/bipartite_incidence/noncollinear_points.clif
  32. +2 −2 ontologies/bipartite_incidence/nontrivial_lines.clif
  33. +2 −2 ontologies/bipartite_incidence/parallel_existence.clif
  34. +2 −2 ontologies/bipartite_incidence/parallel_lines.clif
  35. +2 −2 ontologies/bipartite_incidence/partial_bipartite.clif
  36. +3 −3 ontologies/bipartite_incidence/partial_linear.clif
  37. +2 −2 ontologies/bipartite_incidence/point_bipartite.clif
  38. +2 −2 ontologies/bipartite_incidence/point_existence.clif
  39. +2 −2 ontologies/bipartite_incidence/point_intersect.clif
  40. +3 −3 ontologies/bipartite_incidence/point_line.clif
  41. +3 −3 ontologies/bipartite_incidence/polar_space.clif
  42. +4 −4 ontologies/bipartite_incidence/projective_plane.clif
  43. +4 −4 ontologies/bipartite_incidence/pseudo_complete.clif
  44. +2 −2 ontologies/bipartite_incidence/quadrangle.clif
  45. +5 −5 ontologies/bipartite_incidence/simple_graphical.clif
  46. +4 −4 ontologies/bipartite_incidence/strict_double.clif
  47. +5 −5 ontologies/bipartite_incidence/strict_graphical.clif
  48. +4 −4 ontologies/bipartite_incidence/strict_twin.clif
  49. +4 −4 ontologies/bipartite_incidence/strong_graphical.clif
  50. +2 −2 ontologies/bipartite_incidence/thick_lines.clif
  51. +2 −2 ontologies/bipartite_incidence/triple_existence.clif
  52. +2 −2 ontologies/bipartite_incidence/trivial_lines.clif
  53. +2 −2 ontologies/bipartite_incidence/trivial_perfect_incidence.clif
  54. +3 −3 ontologies/bipartite_incidence/twin_complete.clif
  55. +2 −2 ontologies/bipartite_incidence/twin_lines.clif
  56. +4 −4 ontologies/bipartite_incidence/twin_loop.clif
  57. +2 −2 ontologies/bipartite_incidence/unique_line.clif
  58. +2 −2 ontologies/bipartite_incidence/unique_parallel.clif
  59. +1 −1 ontologies/bipartite_incidence/weak_bipartite.clif
  60. +4 −4 ontologies/cyclic_arithmetic/succ_cyclic.clif
  61. +2 −2 ontologies/cyclic_arithmetic/succ_total_cyclic.clif
  62. +2 −2 ontologies/cyclic_geometry/ccg.clif
  63. +3 −3 ontologies/cyclic_geometry/chain_ccg.clif
  64. +3 −3 ontologies/cyclic_geometry/chain_hcg.clif
  65. +3 −3 ontologies/cyclic_geometry/chain_mcg.clif
  66. +2 −2 ontologies/cyclic_geometry/hcg.clif
  67. +2 −2 ontologies/cyclic_geometry/mcg.clif
  68. +2 −2 ontologies/cyclic_geometry/ncg.clif
  69. +1 −1 ontologies/cyclic_geometry/wcg.clif
  70. +3 −3 ontologies/cyclic_ordering/asym_fishburn.clif
  71. +2 −2 ontologies/cyclic_ordering/asymmetric_cyclic.clif
  72. +1 −1 ontologies/cyclic_ordering/ccsystem.clif
  73. +1 −1 ontologies/cyclic_ordering/cyclic.clif
  74. +1 −1 ontologies/cyclic_ordering/cyclic_chains.clif
  75. +1 −1 ontologies/cyclic_ordering/fiorini.clif
  76. +1 −1 ontologies/cyclic_ordering/fishburn_cyclic.clif
  77. +1 −1 ontologies/cyclic_ordering/huntington_cyclic.clif
  78. +1 −1 ontologies/cyclic_ordering/interiority_cyclic.clif
  79. +1 −1 ontologies/cyclic_ordering/megiddo_cyclic.clif
  80. +1 −1 ontologies/cyclic_ordering/neumann_cyclic.clif
  81. +1 −1 ontologies/cyclic_ordering/nonempty_cyclic.clif
  82. +1 −1 ontologies/cyclic_ordering/nonreflexive_cyclic.clif
  83. +1 −1 ontologies/cyclic_ordering/novak_cyclic.clif
  84. +1 −1 ontologies/cyclic_ordering/okhuma.clif
  85. +1 −1 ontologies/cyclic_ordering/order_variety.clif
  86. +1 −1 ontologies/cyclic_ordering/reflexive_cyclic.clif
  87. +1 −1 ontologies/cyclic_ordering/simnh_cyclic.clif
  88. +1 −1 ontologies/cyclic_ordering/spreading_cyclic.clif
  89. +2 −2 ontologies/cyclic_ordering/strict_cyclic.clif
  90. +1 −1 ontologies/cyclic_ordering/swiercz.clif
  91. +2 −2 ontologies/cyclic_ordering/total_cyclic.clif
  92. +1 −1 ontologies/cyclic_ordering/total_order_variety.clif
  93. +3 −3 ontologies/cyclic_ordering/trans_strict.clif
  94. +2 −2 ontologies/cyclic_ordering/transitive_cyclic.clif
  95. +1 −1 ontologies/cyclic_ordering/weak_transitive_cyclic.clif
  96. +1 −1 ontologies/date_time_vocabulary/date_time_vocabulary.clif
  97. +1 −1 ontologies/date_time_vocabulary/date_time_vocabulary20111209.clif
  98. +1 −1 ontologies/date_time_vocabulary/dtv20111209.clif
@@ -1,10 +1,10 @@
(cl-text http://colore.oor.net/biparite_incidence/affine_plane
(cl-text http://colore.oor.net/biparite_incidence/affine_plane.clif
(cl-imports http://colore.oor.net/biparite_incidence/linear_space)
(cl-imports http://colore.oor.net/biparite_incidence/linear_space.clif)
(cl-imports http://colore.oor.net/biparite_incidence/parallel_existence)
(cl-imports http://colore.oor.net/biparite_incidence/parallel_existence.clif)
(cl-imports http://colore.oor.net/biparite_incidence/unique_parallel)
(cl-imports http://colore.oor.net/biparite_incidence/unique_parallel.clif)
)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/biparite_incidence/biclosure
(cl-text http://colore.oor.net/biparite_incidence/biclosure.clif
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite)
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite.clif)
(forall (x)
(or (point x)
@@ -1,9 +1,9 @@
(cl-text http://colore.oor.net/biparite_incidence/bipartite_incidence
(cl-text http://colore.oor.net/biparite_incidence/bipartite_incidence.clif
(cl-imports http://colore.oor.net/biparite_incidence/partial_bipartite)
(cl-imports http://colore.oor.net/biparite_incidence/partial_bipartite.clif)
(cl-imports http://colore.oor.net/biparite_incidence/point_bipartite)
(cl-imports http://colore.oor.net/biparite_incidence/point_bipartite.clif)
(cl-imports http://colore.oor.net/biparite_incidence/bipartite_incidence_def)
(cl-imports http://colore.oor.net/biparite_incidence/bipartite_incidence_def.clif)
)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/biparite_incidence/bipartite_incidence_def
(cl-text http://colore.oor.net/biparite_incidence/bipartite_incidence_def.clif
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite)
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite.clif)
(forall (p1 p2 p3)
(iff (collinear p1 p2)
@@ -1,10 +1,10 @@
(cl-text http://colore.oor.net/biparite_incidence/boundary_incidence
(cl-text http://colore.oor.net/biparite_incidence/boundary_incidence.clif
(cl-imports http://colore.oor.net/biparite_incidence/bipartite_incidence)
(cl-imports http://colore.oor.net/biparite_incidence/bipartite_incidence.clif)
(cl-imports http://colore.oor.net/biparite_incidence/nontrivial_lines)
(cl-imports http://colore.oor.net/biparite_incidence/nontrivial_lines.clif)
(cl-imports http://colore.oor.net/biparite_incidence/double_intersect)
(cl-imports http://colore.oor.net/biparite_incidence/double_intersect.clif)
)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/biparite_incidence/chordal_incidence
(cl-text http://colore.oor.net/biparite_incidence/chordal_incidence.clif
(cl-imports http://colore.oor.net/biparite_incidence/helly)
(cl-imports http://colore.oor.net/biparite_incidence/helly.clif)
(forall (x y z w)
(if (cycle x y z w ...)
@@ -1,8 +1,8 @@
(cl-text http://colore.oor.net/biparite_incidence/complete_graphical
(cl-text http://colore.oor.net/biparite_incidence/complete_graphical.clif
(cl-imports http://colore.oor.net/biparite_incidence/graphical_incidence)
(cl-imports http://colore.oor.net/biparite_incidence/graphical_incidence.clif)
(cl-imports http://colore.oor.net/biparite_incidence/line_existence)
(cl-imports http://colore.oor.net/biparite_incidence/line_existence.clif)
)
@@ -1,10 +1,10 @@
(cl-text http://colore.oor.net/biparite_incidence/cyclic_boundary
(cl-text http://colore.oor.net/biparite_incidence/cyclic_boundary.clif
(cl-imports http://colore.oor.net/biparite_incidence/boundary_incidence)
(cl-imports http://colore.oor.net/biparite_incidence/boundary_incidence.clif)
(cl-imports http://colore.oor.net/biparite_incidence/intersect_exist)
(cl-imports http://colore.oor.net/biparite_incidence/intersect_exist.clif)
(cl-imports http://colore.oor.net/biparite_incidence/double_intersect)
(cl-imports http://colore.oor.net/biparite_incidence/double_intersect.clif)
)
@@ -1,10 +1,10 @@
(cl-text http://colore.oor.net/biparite_incidence/cyclic_graphical
(cl-text http://colore.oor.net/biparite_incidence/cyclic_graphical.clif
(cl-imports http://colore.oor.net/biparite_incidence/leafless)
(cl-imports http://colore.oor.net/biparite_incidence/leafless.clif)
(cl-imports http://colore.oor.net/biparite_incidence/nontrivial_lines)
(cl-imports http://colore.oor.net/biparite_incidence/nontrivial_lines.clif)
(cl-imports http://colore.oor.net/biparite_incidence/double_lines)
(cl-imports http://colore.oor.net/biparite_incidence/double_lines.clif)
)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/biparite_incidence/distinct_shadow
(cl-text http://colore.oor.net/biparite_incidence/distinct_shadow.clif
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite)
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite.clif)
(forall (x y)
(if (and (line x)
@@ -1,10 +1,10 @@
(cl-text http://colore.oor.net/biparite_incidence/double_complete
(cl-text http://colore.oor.net/biparite_incidence/double_complete.clif
(cl-imports http://colore.oor.net/biparite_incidence/double_exist)
(cl-imports http://colore.oor.net/biparite_incidence/double_exist.clif)
(cl-imports http://colore.oor.net/biparite_incidence/twin_lines)
(cl-imports http://colore.oor.net/biparite_incidence/twin_lines.clif)
(cl-imports http://colore.oor.net/biparite_incidence/graphical_incidence)
(cl-imports http://colore.oor.net/biparite_incidence/graphical_incidence.clif)
)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/biparite_incidence/double_exist
(cl-text http://colore.oor.net/biparite_incidence/double_exist.clif
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite)
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite.clif)
(forall (x y)
(if (and (point x)
@@ -1,5 +1,5 @@
(cl-text http://colore.oor.net/biparite_incidence/double_intersect
(cl-text http://colore.oor.net/biparite_incidence/double_intersect.clif
(forall (l1 l2 l3 l4)
(if (and (intersect l1 l2)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/biparite_incidence/double_lines
(cl-text http://colore.oor.net/biparite_incidence/double_lines.clif
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite)
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite.clif)
(forall (x y z w)
(if (and (point x)
@@ -1,10 +1,10 @@
(cl-text http://colore.oor.net/biparite_incidence/double_loop
(cl-text http://colore.oor.net/biparite_incidence/double_loop.clif
(cl-imports http://colore.oor.net/biparite_incidence/double_exist)
(cl-imports http://colore.oor.net/biparite_incidence/double_exist.clif)
(cl-imports http://colore.oor.net/biparite_incidence/graphical_incidence)
(cl-imports http://colore.oor.net/biparite_incidence/graphical_incidence.clif)
(cl-imports http://colore.oor.net/biparite_incidence/trivial_lines)
(cl-imports http://colore.oor.net/biparite_incidence/trivial_lines.clif)
)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/biparite_incidence/double_points
(cl-text http://colore.oor.net/biparite_incidence/double_points.clif
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite)
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite.clif)
(cl-comment "A geometry in which at most two points can be incident with a line")
@@ -1,8 +1,8 @@
(cl-text http://colore.oor.net/biparite_incidence/firm_space
(cl-text http://colore.oor.net/biparite_incidence/firm_space.clif
(cl-imports http://colore.oor.net/biparite_incidence/point_line)
(cl-imports http://colore.oor.net/biparite_incidence/point_line.clif)
(cl-imports http://colore.oor.net/biparite_incidence/point_intersect)
(cl-imports http://colore.oor.net/biparite_incidence/point_intersect.clif)
)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/biparite_incidence/gamma_space
(cl-text http://colore.oor.net/biparite_incidence/gamma_space.clif
(cl-imports http://colore.oor.net/biparite_incidence/point_line)
(cl-imports http://colore.oor.net/biparite_incidence/point_line.clif)
(forall (p1 p2 p3 p4 l)
(if (and (collinear p1 p2 p3)
@@ -1,8 +1,8 @@
(cl-text http://colore.oor.net/biparite_incidence/general_projective_plane
(cl-text http://colore.oor.net/biparite_incidence/general_projective_plane.clif
(cl-imports http://colore.oor.net/biparite_incidence/firm_space)
(cl-imports http://colore.oor.net/biparite_incidence/firm_space.clif)
(cl-imports http://colore.oor.net/biparite_incidence/near_linear)
(cl-imports http://colore.oor.net/biparite_incidence/near_linear.clif)
)
@@ -1,8 +1,8 @@
(cl-text http://colore.oor.net/biparite_incidence/graphical_incidence
(cl-text http://colore.oor.net/biparite_incidence/graphical_incidence.clif
(cl-imports http://colore.oor.net/biparite_incidence/partial_bipartite)
(cl-imports http://colore.oor.net/biparite_incidence/partial_bipartite.clif)
(cl-imports http://colore.oor.net/biparite_incidence/double_points)
(cl-imports http://colore.oor.net/biparite_incidence/double_points.clif)
)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/biparite_incidence/helly
(cl-text http://colore.oor.net/biparite_incidence/helly.clif
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite)
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite.clif)
(forall (x y z)
(if (and (point x)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/biparite_incidence/hilbert_incidence
(cl-text http://colore.oor.net/biparite_incidence/hilbert_incidence.clif
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite)
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite.clif)
(cl-comment "Two distinct points p1 and p2 completely determine a straight line")
(forall (p1 p2)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/biparite_incidence/hilbert_parallel
(cl-text http://colore.oor.net/biparite_incidence/hilbert_parallel.clif
(cl-imports http://colore.oor.net/biparite_incidence/hilbert_incidence)
(cl-imports http://colore.oor.net/biparite_incidence/hilbert_incidence.clif)
(forall (p l1)
(if (and (point p)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/biparite_incidence/intersect_exist
(cl-text http://colore.oor.net/biparite_incidence/intersect_exist.clif
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite)
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite.clif)
(forall (l1)
(if (line l1)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/biparite_incidence/interval_incidence
(cl-text http://colore.oor.net/biparite_incidence/interval_incidence.clif
(cl-imports http://colore.oor.net/biparite_incidence/chordal_incidence)
(cl-imports http://colore.oor.net/biparite_incidence/chordal_incidence.clif)
(forall (x y)
(if (and (complement_cycle x ... y)
@@ -1,8 +1,8 @@
(cl-text http://colore.oor.net/biparite_incidence/leafless
(cl-text http://colore.oor.net/biparite_incidence/leafless.clif
(cl-imports http://colore.oor.net/biparite_incidence/graphical_incidence)
(cl-imports http://colore.oor.net/biparite_incidence/graphical_incidence.clif)
(cl-imports http://colore.oor.net/biparite_incidence/point_intersect)
(cl-imports http://colore.oor.net/biparite_incidence/point_intersect.clif)
)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/biparite_incidence/line_existence
(cl-text http://colore.oor.net/biparite_incidence/line_existence.clif
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite)
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite.clif)
(cl-comment "There is a line through any two distinct points.")
@@ -1,8 +1,8 @@
(cl-text http://colore.oor.net/biparite_incidence/linear_space
(cl-text http://colore.oor.net/biparite_incidence/linear_space.clif
(cl-imports http://colore.oor.net/biparite_incidence/near_linear)
(cl-imports http://colore.oor.net/biparite_incidence/near_linear.clif)
(cl-imports http://colore.oor.net/biparite_incidence/line_existence)
(cl-imports http://colore.oor.net/biparite_incidence/line_existence.clif)
)
@@ -1,10 +1,10 @@
(cl-text http://colore.oor.net/biparite_incidence/loop_graphical
(cl-text http://colore.oor.net/biparite_incidence/loop_graphical.clif
(cl-imports http://colore.oor.net/biparite_incidence/graphical_incidence)
(cl-imports http://colore.oor.net/biparite_incidence/graphical_incidence.clif)
(cl-imports http://colore.oor.net/biparite_incidence/line_existence)
(cl-imports http://colore.oor.net/biparite_incidence/line_existence.clif)
(cl-imports http://colore.oor.net/biparite_incidence/trivial_lines)
(cl-imports http://colore.oor.net/biparite_incidence/trivial_lines.clif)
)
@@ -1,8 +1,8 @@
(cl-text http://colore.oor.net/biparite_incidence/near_linear
(cl-text http://colore.oor.net/biparite_incidence/near_linear.clif
(cl-imports http://colore.oor.net/biparite_incidence/unique_line)
(cl-imports http://colore.oor.net/biparite_incidence/unique_line.clif)
(cl-imports http://colore.oor.net/biparite_incidence/nontrivial_lines)
(cl-imports http://colore.oor.net/biparite_incidence/nontrivial_lines.clif)
)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/biparite_incidence/noncollinear_points
(cl-text http://colore.oor.net/biparite_incidence/noncollinear_points.clif
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite)
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite.clif)
(forall (l)
(if (line l)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/biparite_incidence/nontrivial_lines
(cl-text http://colore.oor.net/biparite_incidence/nontrivial_lines.clif
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite)
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite.clif)
(forall (l)
(if (line l)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/biparite_incidence/parallel_existence
(cl-text http://colore.oor.net/biparite_incidence/parallel_existence.clif
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite)
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite.clif)
(forall (p l1)
(if (and (point p)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/biparite_incidence/parallel_lines
(cl-text http://colore.oor.net/biparite_incidence/parallel_lines.clif
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite)
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite.clif)
(forall (l1 l2 p)
(if (and (line l1)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/biparite_incidence/partial_bipartite
(cl-text http://colore.oor.net/biparite_incidence/partial_bipartite.clif
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite)
(cl-imports http://colore.oor.net/biparite_incidence/weak_bipartite.clif)
(cl-comment "Every line has a point incident with it")
Oops, something went wrong.

0 comments on commit 42edfab

Please sign in to comment.