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