Skip to content
Permalink
Browse files

updated comments in incidence_geometry with single quotes

  • Loading branch information...
carmenchui committed Jun 20, 2018
1 parent e2b1051 commit c1fafcc07fcda7896de3434c9bfcce127ae4d871
@@ -12,9 +12,9 @@

(cl-imports http://colore.oor.net/incidence_geometry/ig_2d_lin)

(cl-comment "(linear) incidence geometry")
(cl-comment '(linear) incidence geometry')

(cl-comment "I.0b")
(cl-comment 'I.0b')

(forall (x)
(if
@@ -47,7 +47,7 @@
)


(cl-comment "I.3")
(cl-comment 'I.3')

(forall (x)
(if
@@ -78,7 +78,7 @@
)
)

(cl-comment "I.4a")
(cl-comment 'I.4a')

(forall (p q r)
(if
@@ -110,7 +110,7 @@



(cl-comment "I.4b")
(cl-comment 'I.4b')

(forall (p q r x y)
(if
@@ -142,7 +142,7 @@
)


(cl-comment "I.5")
(cl-comment 'I.5')

(forall (p q l x)
(if
@@ -10,9 +10,9 @@

(cl-text http://colore.oor.net/incidence_geometry/ig_2d

(cl-comment "axioms of line spaces")
(cl-comment 'axioms of line spaces')

(cl-comment "I.0a")
(cl-comment 'I.0a')

(forall (x y)
(if
@@ -25,7 +25,7 @@
)


(cl-comment "I.1")
(cl-comment 'I.1')

(forall (x)
(if
@@ -10,11 +10,11 @@

(cl-text http://colore.oor.net/incidence_geometry/ig_2d_lin

(cl-comment "linear line spaces")
(cl-comment 'linear line spaces')

(cl-imports http://colore.oor.net/incidence_geometry/ig_2d_slin)

(cl-comment "I.2b")
(cl-comment 'I.2b')

(forall (x y)
(if
@@ -10,11 +10,11 @@

(cl-text http://colore.oor.net/incidence_geometry/ig_2d_slin

(cl-comment "semi-linear line spaces")
(cl-comment 'semi-linear line spaces')

(cl-imports http://colore.oor.net/incidence_geometry/ig_2d)

(cl-comment "I.2a")
(cl-comment 'I.2a')

(forall (l m x y)
(if

0 comments on commit c1fafcc

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.