Permalink
Browse files

updated bipartite theories with correction comment format (to work wi…

…th torsten's scripts); removed imports of most_basic_definitions
  • Loading branch information...
carmenchui committed Jan 13, 2016
1 parent 271019a commit 8ba5beae0d9904852604e08fb524a2eae6bd84ad
@@ -3,7 +3,7 @@
(cl-imports http://colore.oor.net/bipartite_incidence/weak_bipartite.clif)
(cl-comment "A geometry in which at most two points can be incident with a line")
(cl-comment 'A geometry in which at most two points can be incident with a line')
(forall (x y z l)
(if (and (point x)
@@ -3,7 +3,7 @@
(cl-imports http://colore.oor.net/bipartite_incidence/weak_bipartite.clif)
(cl-comment "Every line has a point incident with it")
(cl-comment 'Every line has a point incident with it')
(forall (l)
(if (line l)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/bipartite_incidence/weak_bipartite.clif
(cl-comment "Specify the reflexive and symmetric incidence relation on points and lines")
(cl-comment 'Specify the reflexive and symmetric incidence relation on points and lines')
(forall (x y)
(if (in x y)
@@ -14,8 +14,6 @@
(cl-imports http://colore.oor.net/most/definitions/most_elements.clif)
(cl-imports http://colore.oor.net/most/definitions/most_basic_definitions.clif)
(cl-comment '---------------------Partitioned according to BOND/BIPARTITE---------------------')
(cl-comment 'A relation inBond to indicate an atom a is in a bond b.')

0 comments on commit 8ba5bea

Please sign in to comment.