\makelabel {finsemi:some basic functions}{1}
\makelabel {finsemi:isfpsgpandmonoid}{1}
\makelabel {finsemi:hascommutingidempotents}{1}
\makelabel {finsemi:isinversesemigroup}{1}
\makelabel {finsemi:dclassdistribution}{1}
\makelabel {finsemi:sone}{1}
\makelabel {finsemi:rightcayleygraph}{1}
\makelabel {finsemi:autcayley}{1}
\makelabel {finsemi:computing kernels}{2}
\makelabel {finsemi:weakconjugateslist}{2}
\makelabel {finsemi:weakconjugates}{2}
\makelabel {finsemi:nweakconjugates}{2}
\makelabel {finsemi:closureweakconjugation}{2}
\makelabel {finsemi:groupkernel}{2}
\makelabel {finsemi:groupkernelwithdclassinfo}{2}
\makelabel {finsemi:abeliankernel}{2}
\makelabel {finsemi:abeliankernelwithdclassinfo}{2}
\makelabel {finsemi:computing with implicit operations}{3}
\makelabel {finsemi:implicit operations}{3.1}
\makelabel {finsemi:implicitoperationonnletters}{3.1.1}
\makelabel {finsemi:productiop}{3.1.2}
\makelabel {finsemi:poweiop}{3.1.3}
\makelabel {finsemi:omegapoweiop}{3.1.4}
\makelabel {finsemi:checking pseudoidentities}{3.2}
\makelabel {finsemi:toomegak}{3.2.1}
\makelabel {finsemi:checkpseudoidentity}{3.2.2}
\makelabel {finsemi:isaperiodic}{3.2.3}
\makelabel {finsemi:checkidentity}{3.2.4}
\makelabel {finsemi:bibliography}{1}
\makelabel {finsemi:index}{2}