../ README 30-Jun-2025 19:34 1063 gluecomp.tex 30-Jun-2025 19:34 6313 ifis-macros-doc.pdf 30-Jun-2025 19:34 30523 ifis-macros-doc.tex 30-Jun-2025 19:34 8551 ifisdimension.tex 30-Jun-2025 19:34 4272 ifisglue.tex 30-Jun-2025 19:34 3950 ifisinteger.tex 30-Jun-2025 19:34 2695