../ README 17-Jul-2024 19:35 744 ifis-macros-doc.pdf 17-Jul-2024 19:35 22463 ifis-macros-doc.tex 17-Jul-2024 19:35 5222 ifisdimension.tex 17-Jul-2024 19:35 3298 ifisinteger.tex 17-Jul-2024 19:35 1728