Skip to content
Permalink
Browse files

updated quotes in combinatorial_semigroup

  • Loading branch information...
carmenchui committed Jun 20, 2018
1 parent d579053 commit 0d3b9329766bd015ea41a4440f9bb0b693b97225
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/combinatorial_semigroup/concat_quine.clif

(cl-comment "Axioms adapted from Ganea")
(cl-comment 'Axioms adapted from Ganea')

(cl-imports http://colore.oor.net/magma/semigroup.clif)

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

(cl-text http://colore.oor.net/combinatorial_semigroup/concat_quine_fo.clif

(cl-comment "Axioms adapted from Ganea")
(cl-comment 'Axioms adapted from Ganea')

(cl-imports http://colore.oor.net/magma/semigroup.clif)

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

(cl-text http://colore.oor.net/combinatorial_semigroup/concat_tarski.clif

(cl-comment "Axioms adapted from String Theory, Corcoran et al and Ganea")
(cl-comment 'Axioms adapted from String Theory, Corcoran et al and Ganea')

(cl-imports http://colore.oor.net/magma/monoid.clif)

0 comments on commit 0d3b932

Please sign in to comment.
You can’t perform that action at this time.