Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 28-Oct-2020 15:48 -
![[ ]](/icons/unknown.gif){kind=icon}
universa.dtx 29-Aug-2019 19:07 218k
universa.ins 29-Aug-2019 19:07 9k
![[ ]](/icons/layout.gif){kind=icon}
universa.pdf 29-Aug-2019 19:07 801k