Skip to content
Permalink
Browse files

added Creative Commons 4.0 licence

  • Loading branch information...
carmenchui committed Mar 16, 2019
1 parent d5bac4a commit 48980ff278aaf9ca62276ac7657b02c82b00cc65
Showing with 1,414 additions and 9 deletions.
  1. +10 −0 ontologies/boxworld/boxworld.clif
  2. +10 −0 ontologies/boxworld/boxworld_border.clif
  3. +10 −0 ontologies/boxworld/boxworld_part.clif
  4. +10 −0 ontologies/boxworld/boxworld_peak.clif
  5. +10 −0 ontologies/boxworld/boxworld_surface.clif
  6. +10 −0 ontologies/cardworld/cardworld.clif
  7. +10 −0 ontologies/cardworld/cardworld_outer.clif
  8. +10 −0 ontologies/cardworld/cardworld_part.clif
  9. +10 −0 ontologies/cardworld/cardworld_surface.clif
  10. +10 −0 ontologies/cayley_graph/cayley_root.clif
  11. +10 −0 ontologies/cayley_graph/definitions/cayley_def.clif
  12. +10 −0 ontologies/cayley_graph/free_semigroup_cayley.clif
  13. +10 −0 ontologies/cayley_graph/monogenic_cayley.clif
  14. +10 −0 ontologies/cayley_graph/monogenic_free_cayley.clif
  15. +12 −2 ontologies/chains_process/chains_state.clif
  16. +11 −1 ontologies/chains_process/definitions/chains_process.clif
  17. +12 −2 ontologies/colored_blocks_process/colored_blocks_state.clif
  18. +11 −1 ontologies/colored_blocks_process/definitions/colored_blocks_process.clif
  19. +10 −0 ontologies/combinatorial_semigroup/TC.clif
  20. +10 −0 ontologies/combinatorial_semigroup/concat_quine.clif
  21. +10 −0 ontologies/combinatorial_semigroup/concat_quine_fo.clif
  22. +10 −0 ontologies/combinatorial_semigroup/concat_tarski.clif
  23. +10 −0 ontologies/combinatorial_semigroup/definitions/words_def.clif
  24. +10 −0 ontologies/combinatorial_semigroup/free_monoid_fo.clif
  25. +10 −0 ontologies/combinatorial_semigroup/free_semigroup_fo.clif
  26. +10 −0 ontologies/combinatorial_semigroup/monogenic.clif
  27. +10 −0 ontologies/combinatorial_semigroup/monogenic_monoid.clif
  28. +10 −0 ontologies/combinatorial_semigroup/monoid_TC.clif
  29. +10 −0 ontologies/combinatorial_semigroup/monoid_gen.clif
  30. +10 −0 ontologies/combinatorial_semigroup/monoid_theoryF.clif
  31. +10 −0 ontologies/combinatorial_semigroup/original_TC.clif
  32. +10 −0 ontologies/combinatorial_semigroup/original_monoid_TC.clif
  33. +10 −0 ontologies/combinatorial_semigroup/original_monoid_theoryF.clif
  34. +10 −0 ontologies/combinatorial_semigroup/original_theoryF.clif
  35. +10 −0 ontologies/combinatorial_semigroup/semigroup_gen.clif
  36. +10 −0 ontologies/combinatorial_semigroup/sim_TC.clif
  37. +10 −0 ontologies/combinatorial_semigroup/sim_TCF.clif
  38. +10 −0 ontologies/combinatorial_semigroup/sim_theoryF.clif
  39. +10 −0 ontologies/combinatorial_semigroup/tame_theoryF.clif
  40. +10 −0 ontologies/combinatorial_semigroup/theoryF.clif
  41. +10 −0 ontologies/combinatorial_semigroup/thin_TC.clif
  42. +10 −0 ontologies/combined_mereotopology/boundaryless.clif
  43. +10 −0 ontologies/combined_mereotopology/cem_mt.clif
  44. +10 −0 ontologies/combined_mereotopology/cm_mt.clif
  45. +10 −0 ontologies/combined_mereotopology/cmt.clif
  46. +10 −0 ontologies/combined_mereotopology/conn_mt.clif
  47. +10 −0 ontologies/combined_mereotopology/definitions/DC.clif
  48. +10 −0 ontologies/combined_mereotopology/definitions/E.clif
  49. +10 −0 ontologies/combined_mereotopology/definitions/EC.clif
  50. +10 −0 ontologies/combined_mereotopology/definitions/IP.clif
  51. +10 −0 ontologies/combined_mereotopology/definitions/NTPP.clif
  52. +10 −0 ontologies/combined_mereotopology/definitions/PO.clif
  53. +10 −0 ontologies/combined_mereotopology/definitions/SC.clif
  54. +10 −0 ontologies/combined_mereotopology/definitions/TP.clif
  55. +10 −0 ontologies/combined_mereotopology/definitions/TPP.clif
  56. +10 −0 ontologies/combined_mereotopology/definitions/mt_def.clif
  57. +10 −0 ontologies/combined_mereotopology/ext_mt.clif
  58. +10 −0 ontologies/combined_mereotopology/mt.clif
  59. +10 −0 ontologies/combined_mereotopology/smt.clif
  60. +10 −0 ontologies/combined_mereotopology/strong_interaction.clif
  61. +10 −0 ontologies/combined_mereotopology/sum_mt.clif
  62. +10 −0 ontologies/combined_mereotopology/weak_cmt.clif
  63. +10 −0 ontologies/combined_mereotopology/weak_extensional.clif
  64. +10 −0 ontologies/combined_mereotopology/weak_interaction.clif
  65. +10 −0 ontologies/combined_time/back_continuum.clif
  66. +10 −0 ontologies/combined_time/backwards.clif
  67. +10 −0 ontologies/combined_time/combined_time_def.clif
  68. +10 −0 ontologies/combined_time/endpoints.clif
  69. +10 −0 ontologies/combined_time/endpoints_lemmas.clif
  70. +10 −0 ontologies/combined_time/finite_backwards.clif
  71. +10 −0 ontologies/combined_time/finite_endpoints.clif
  72. +10 −0 ontologies/combined_time/finite_mo_endpoints.clif
  73. +10 −0 ontologies/combined_time/finite_moment.clif
  74. +10 −0 ontologies/combined_time/finite_no_backwards.clif
  75. +10 −0 ontologies/combined_time/finite_no_moment.clif
  76. +10 −0 ontologies/combined_time/finite_sim_vc_end.clif
  77. +10 −0 ontologies/combined_time/finite_vc.clif
  78. +10 −0 ontologies/combined_time/hayes_endpoints.clif
  79. +10 −0 ontologies/combined_time/hayes_vector_continuum.clif
  80. +10 −0 ontologies/combined_time/mo_continuum.clif
  81. +10 −0 ontologies/combined_time/mo_endpoints.clif
  82. +10 −0 ontologies/combined_time/moment.clif
  83. +10 −0 ontologies/combined_time/no_backwards.clif
  84. +10 −0 ontologies/combined_time/no_moment.clif
  85. +10 −0 ontologies/combined_time/sim_vc_end.clif
  86. +10 −0 ontologies/combined_time/vector_continuum.clif
  87. +10 −0 ontologies/component/component_def.clif
  88. +11 −0 ontologies/constitution/constitution.clif
  89. +11 −0 ontologies/constitution/definitions/portionOf.clif
  90. +10 −0 ontologies/containment/c_0.clif
  91. +10 −0 ontologies/containment/c_1.clif
  92. +10 −0 ontologies/containment/c_2.clif
  93. +10 −0 ontologies/containment/c_3.clif
  94. +10 −0 ontologies/containment/c_4.clif
  95. +10 −0 ontologies/containment/c_5.clif
  96. +10 −0 ontologies/containment/containment_def.clif
  97. +10 −0 ontologies/containment_bridge/containment_piece_extensionality.clif
  98. +10 −0 ontologies/cyclic_arithmetic/succ_cyclic.clif
  99. +10 −0 ontologies/cyclic_arithmetic/succ_total_cyclic.clif
  100. +10 −0 ontologies/cyclic_geometry/ccg.clif
  101. +10 −0 ontologies/cyclic_geometry/chain_ccg.clif
  102. +10 −0 ontologies/cyclic_geometry/chain_hcg.clif
  103. +10 −0 ontologies/cyclic_geometry/chain_mcg.clif
  104. +10 −0 ontologies/cyclic_geometry/hcg.clif
  105. +10 −0 ontologies/cyclic_geometry/mcg.clif
  106. +10 −0 ontologies/cyclic_geometry/ncg.clif
  107. +10 −0 ontologies/cyclic_geometry/wcg.clif
  108. +10 −0 ontologies/cyclic_ordering/asym_fishburn.clif
  109. +10 −0 ontologies/cyclic_ordering/asymmetric_cyclic.clif
  110. +10 −0 ontologies/cyclic_ordering/ccsystem.clif
  111. +10 −0 ontologies/cyclic_ordering/cyclic.clif
  112. +10 −0 ontologies/cyclic_ordering/cyclic_chains.clif
  113. +10 −0 ontologies/cyclic_ordering/fiorini.clif
  114. +10 −0 ontologies/cyclic_ordering/fishburn_cyclic.clif
  115. +10 −0 ontologies/cyclic_ordering/huntington_cyclic.clif
  116. +10 −0 ontologies/cyclic_ordering/interiority_cyclic.clif
  117. +10 −0 ontologies/cyclic_ordering/megiddo_cyclic.clif
  118. +10 −0 ontologies/cyclic_ordering/neumann_cyclic.clif
  119. +10 −0 ontologies/cyclic_ordering/nonempty_cyclic.clif
  120. +10 −0 ontologies/cyclic_ordering/nonreflexive_cyclic.clif
  121. +10 −0 ontologies/cyclic_ordering/novak_cyclic.clif
  122. +10 −0 ontologies/cyclic_ordering/okhuma.clif
  123. +10 −0 ontologies/cyclic_ordering/order_variety.clif
  124. +10 −0 ontologies/cyclic_ordering/reflexive_cyclic.clif
  125. +10 −0 ontologies/cyclic_ordering/simnh_cyclic.clif
  126. +10 −0 ontologies/cyclic_ordering/spreading_cyclic.clif
  127. +10 −0 ontologies/cyclic_ordering/strict_cyclic.clif
  128. +10 −0 ontologies/cyclic_ordering/swiercz.clif
  129. +10 −0 ontologies/cyclic_ordering/total_cyclic.clif
  130. +10 −0 ontologies/cyclic_ordering/total_order_variety.clif
  131. +10 −0 ontologies/cyclic_ordering/trans_strict.clif
  132. +10 −0 ontologies/cyclic_ordering/transitive_cyclic.clif
  133. +10 −0 ontologies/cyclic_ordering/weak_transitive_cyclic.clif
  134. +12 −2 ontologies/cyclic_process/cyclic_state.clif
  135. +12 −1 ontologies/cyclic_process/definitions/cyclic_process.clif
  136. +11 −0 ontologies/date_compose/date_compose_root.clif
  137. +11 −0 ontologies/date_periodic/date_periodic_root.clif
  138. +10 −0 ontologies/date_time_vocabulary/date_time_vocabulary.clif
  139. +10 −0 ontologies/date_time_vocabulary/date_time_vocabulary20111209.clif
  140. +10 −0 ontologies/date_time_vocabulary/dtv20111209.clif
@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/boxworld/boxworld_border.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/boxworld/boxworld_part.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/boxworld/boxworld_peak.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/boxworld/boxworld_surface.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/cardworld/cardworld_outer.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/cardworld/cardworld_part.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/cardworld/cardworld_surface.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/cayley_graph/cayley_root.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/cayley_graph/definitions/cayley_def.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/cayley_graph/free_semigroup_cayley.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/cayley_graph/monogenic_cayley.clif

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


(cl-text http://colore.oor.net/cayley_graph/monogenic_free_cayley.clif

@@ -1,6 +1,16 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/chains_process/chains_state.clif

(cl-imports http://colore.oor.net/psl_disc_state/disc_state.clif)
(cl-imports http://colore.oor.net/psl_disc_state/disc_state.clif)


(forall (o x y)
@@ -41,4 +51,4 @@
(or (prior (lt x y) o)
(prior (lt y x) o)))))

)
)
@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/chains_process/definitions/chains_process.clif

(cl-imports http://colore.oor.net/chains_process/chains_state.clif)
@@ -28,4 +38,4 @@
(changes o (lt x y)))
(not (changes o (comparable x y)))))))))

)
)
@@ -1,6 +1,16 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/colored_blocks_process/colored_blocks_state.clif

(cl-imports http://colore.oor.net/psl_disc_state/disc_state.clif)
(cl-imports http://colore.oor.net/psl_disc_state/disc_state.clif)


(forall (o x y)
@@ -125,4 +135,4 @@
(prior (colored_as p1 l) o))
(= p1 p2)))

)
)
@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/colored_blocks_process/definitions/colored_blocks_process.clif

(cl-imports http://colore.oor.net/colored_blocks_process/colored_blocks_state.clif)
@@ -42,4 +52,4 @@
(exists (x y)
(changes o (colored_as x y)))))))

)
)
@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

@@ -1,3 +1,13 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/


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

Oops, something went wrong.

0 comments on commit 48980ff

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