Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
LICENSE.md 2024-02-09 01:58 1.1K
MANIFEST.md 2024-02-09 01:58 2.6K
README.md 2024-02-09 01:58 10K
![[ ]](/icons/layout.gif){kind=icon}
contract-example-de.pdf 2024-02-09 01:58 56K
![[ ]](/icons/tex.gif){kind=icon}
contract-example-de.tex 2024-02-09 01:58 3.6K
contract-example-en.pdf 2024-02-09 01:58 57K
contract-example-en.tex 2024-02-09 01:58 3.3K
contract.dtx 2024-02-09 01:58 134K
contract.pdf 2024-02-09 01:58 753K