Name Last modified Size Description Parent Directory - README 2024-05-08 19:16 744 ifisinteger.tex 2024-03-31 22:32 1.7K ifisdimension.tex 2024-04-05 05:51 3.2K ifis-macros-doc.tex 2024-05-08 19:13 5.1K ifis-macros-doc.pdf 2024-05-08 19:33 22K