Name Last modified Size Description Parent Directory - optidef.pdf 2019-04-23 20:46 244K optidef.sty 2019-04-23 20:37 24K optidef.tex 2019-04-23 20:46 30K