Merge pull request #132 from SageMathOER-CCC/name-order-correction

Name order correction
SageMathOER-CCC · Sep 20, 2024 · f5b285a · f5b285a
2 parents 58436da + ace63a6
commit f5b285a
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 124 deletions.
diff --git a/source/frontmatter.ptx b/source/frontmatter.ptx
@@ -47,16 +47,16 @@
     <p permid="ewA">
       We would like to acknowledge the following peer-reviewers:
       <ul permid="ODI">
-        <li permid="uKR">
-          <p permid="EeD">
-            Ken Levasseur, University of Massachusetts Lowell
-          </p>
-        </li>
-
         <li permid="XXu">
           <p permid="hrg">
             Moty Katzman, University of Sheffield
           </p>
+        </li> 
+
+        <li permid="uKR">
+          <p permid="EeD">
+            Ken Levasseur, University of Massachusetts Lowell
+          </p>
         </li>
 
         <li permid="XXu">
@@ -70,10 +70,9 @@
     <p permid="ewA">
       We would like to acknowledge the following proof-readers:
       <ul permid="ODI">
-        <li permid="uKR">
-          <p permid="EeD">
-            Fabio Re, Rosalind Franklin University
-
+        <li permid="XXu">
+          <p permid="hrg">
+            Ted Jankowski, Wright College
           </p>
         </li>
 
@@ -85,21 +84,22 @@
 
         <li permid="XXu">
           <p permid="hrg">
-            Ted Jankowski, Wright College
+            Yolanda Nieves, Wright College
           </p>
         </li>
 
-        <li permid="XXu">
-          <p permid="hrg">
-            Tineka Scalzo, Wright College
+        <li permid="uKR">
+          <p permid="EeD">
+            Fabio Re, Rosalind Franklin University
+
           </p>
         </li>
 
         <li permid="XXu">
           <p permid="hrg">
-            Yolanda Nieves, Wright College
+            Tineka Scalzo, Wright College
           </p>
-        </li>
+        </li> 
       </ul>
     </p>
   </acknowledgement>

diff --git a/source/relations/ch-relations.ptx b/source/relations/ch-relations.ptx
@@ -16,5 +16,4 @@
   <xi:include href="sec-properties.ptx" />
   <xi:include href="sec-equivalence.ptx" />
   <xi:include href="sec-partial-order.ptx" />
-  <xi:include href="sec-proofs-inductions.ptx" />
 </chapter>
diff --git a/source/relations/sec-proofs-inductions.ptx b/source/relations/sec-proofs-inductions.ptx