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