Filename Modification time Size README.md 2026-11-02 21:57 CET 56 B verbdef.pdf 2026-11-02 21:57 CET 70 KiB verbdef.sty 2026-11-02 21:57 CET 2577 B verbdef.tex 2026-11-02 21:57 CET 2176 B