Another entry in autinfo

diff --git a/main.tex b/main.tex
index a8ffb8ab4dbd0a229373ad26cd0c20f98e513d5f..16e434cfab6949ffc971336c84322d3f85b1dc6f 100644 (file)
--- a/main.tex
+++ b/main.tex
@@ -109,6 +109,7 @@ or \url{http://www.gnu.org/licenses/agpl-3.0.txt}) or any later version.}}
 \define@key{autinfo}{member}     {\def\autmember {#1}}
 \define@key{autinfo}{empty}      {\def\autempty  {#1}}
 \define@key{autinfo}{univ}       {\def\autuniv   {#1}}
+\define@key{autinfo}{finite}     {\def\autfinite {#1}}
 \define@key{autinfo}{equiv}      {\def\autequiv  {#1}}
 \define@key{autinfo}{subset}     {\def\autsubset {#1}}
 \define@key{autinfo}{disjoin}    {\def\autdisjoin{#1}}
@@ -143,6 +144,7 @@ or \url{http://www.gnu.org/licenses/agpl-3.0.txt}) or any later version.}}
        \def\autmember {}
        \def\autempty  {}
        \def\autuniv   {}
+       \def\autfinite {}
        \def\autequiv  {}
        \def\autsubset {}
        \def\autdisjoin{}
@@ -165,9 +167,11 @@ or \url{http://www.gnu.org/licenses/agpl-3.0.txt}) or any later version.}}
                \textbf{Decision Predicates} & \\ \hline
                \ifdefempty{\autmember} {}{Membership testing   & \autmember  \\ \hline}
                \ifdefempty{\autempty}  {}{Emptiness            & \autempty   \\ \hline}
+               \ifdefempty{\autfinte}  {}{Finiteness           & \autfinite  \\ \hline}
         \ifdefempty{\autuniv}   {}{Universality         & \autuniv    \\ \hline}
                \ifdefempty{\autequiv}  {}{Equivalence          & \autequiv   \\ \hline}
                \ifdefempty{\autsubset} {}{Subset               & \autsubset  \\ \hline}
+                       % \autdisjoin AKA "Emptyness of Intersection"
                \ifdefempty{\autdisjoin}{}{Disjointness         & \autsubset  \\ \hline}
                \textbf{Closure Properties} & \\ \hline
                \ifdefempty{\autregkstr}{}{Kleene star          & \autregkstr \\ \hline}