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